Add missing } #1022
This check has been archived and is scheduled for deletion.
Learn more about checks retention
GitHub Actions / Test results on JDK 8
failed
Oct 16, 2023 in 0s
941 fail, 6 skipped, 65 pass in 1m 32s
Annotations
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
no npe on virtual call when impossible() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
overridden null assignment in callee don't affect next caller's instructions() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
basic test for NPE on fields() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
analyze NPE after fun with two exits() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
dereferencing copy of value saved before null assignment produce no npe() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
analyze simple NPE() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
analyze no NPE() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
assigning null to copy doesn't affect original value() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
recursive classes handled correctly() (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[1] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_01 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[2] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_02 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[3] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_03 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[4] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_04 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[5] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_06 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[6] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_09 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[7] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_12 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[8] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_13 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[9] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_16 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[10] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_17 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[11] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_21 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[12] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_22a (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[13] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_31 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[14] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_41 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[15] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_42 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Check warning on line 0 in org.jacodb.analysis.impl.NpeAnalysisTest
github-actions / Test results on JDK 8
[16] juliet.testcases.CWE476_NULL_Pointer_Dereference.CWE476_NULL_Pointer_Dereference__Integer_45 (org.jacodb.analysis.impl.NpeAnalysisTest) failed
jacodb-analysis/build/test-results/test/TEST-org.jacodb.analysis.impl.NpeAnalysisTest.xml [took 0s]
Raw output
java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at ???(Coroutine boundary.?(?)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlinx.coroutines.TimeoutKt.withTimeoutOrNull(Timeout.kt:100)
at org.jacodb.analysis.engine.MainIfdsUnitManager$analyze$1.invokeSuspend(MainIfdsUnitManager.kt:95)
Caused by: java.lang.IllegalStateException: No taint configuration feature found
at org.jacodb.configuration.TaintConfigurationFeatureKt.taintConfigurationFeature(TaintConfigurationFeature.kt:336)
at org.jacodb.analysis.library.analyzers.AbstractTaintForwardFunctions$obtainCallToStartFlowFunction$1.compute(AbstractTaintForwardFunctions.kt:99)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:191)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$runTabulationAlgorithm$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:115)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.access$runTabulationAlgorithm(BaseIfdsUnitRunnerFactory.kt:54)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invokeSuspend(BaseIfdsUnitRunnerFactory.kt:372)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner$run$2.invoke(BaseIfdsUnitRunnerFactory.kt)
at kotlinx.coroutines.intrinsics.UndispatchedKt.startUndispatchedOrReturn(Undispatched.kt:89)
at kotlinx.coroutines.CoroutineScopeKt.coroutineScope(CoroutineScope.kt:264)
at org.jacodb.analysis.engine.BaseIfdsUnitRunner.run(BaseIfdsUnitRunnerFactory.kt:356)
at org.jacodb.analysis.engine.AbstractIfdsUnitRunner$launchIn$1.invokeSuspend(IfdsUnitRunnerFactory.kt:68)
at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
at kotlinx.coroutines.scheduling.CoroutineScheduler.runSafely(CoroutineScheduler.kt:570)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.executeTask(CoroutineScheduler.kt:750)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.runWorker(CoroutineScheduler.kt:677)
at kotlinx.coroutines.scheduling.CoroutineScheduler$Worker.run(CoroutineScheduler.kt:664)
Loading