Skip to content

feat(core): Add must aliasing for better cleaner application#87

Open
DanielELog wants to merge 12 commits intomainfrom
DanielELog/must_alias
Open

feat(core): Add must aliasing for better cleaner application#87
DanielELog wants to merge 12 commits intomainfrom
DanielELog/must_alias

Conversation

@DanielELog
Copy link
Copy Markdown
Contributor

No description provided.

@DanielELog DanielELog requested a review from Saloed April 9, 2026 16:45
@Saloed Saloed force-pushed the DanielELog/must_alias branch from 4cb14e0 to fa0e776 Compare April 22, 2026 17:28
@Saloed
Copy link
Copy Markdown
Contributor

Saloed commented Apr 23, 2026

  - name: WebGoat
    git: https://github.com/WebGoat/WebGoat.git
    head: d4238ab406f27eea4aff8c86443cafbc220431c4
    java-version: 25
    23:17:53.391 |E| JIRTaintAnalyzer - Ifds engine failed
    java.lang.IllegalStateException: Check failed.
        at org.opentaint.dataflow.jvm.ap.ifds.analysis.JIRMethodSequentFlowFunction.fieldWrite(JIRMethodSequentFlowFunction.kt:584)
        at org.opentaint.dataflow.jvm.ap.ifds.analysis.JIRMethodSequentFlowFunction.fieldWrite(JIRMethodSequentFlowFunction.kt:443)
        at org.opentaint.dataflow.jvm.ap.ifds.analysis.JIRMethodSequentFlowFunction.sequentFlowAssign(JIRMethodSequentFlowFunction.kt:284)
        at org.opentaint.dataflow.jvm.ap.ifds.analysis.JIRMethodSequentFlowFunction.propagate(JIRMethodSequentFlowFunction.kt:144)
        at org.opentaint.dataflow.jvm.ap.ifds.analysis.JIRMethodSequentFlowFunction.propagateFactToFact(JIRMethodSequentFlowFunction.kt:88)
        at org.opentaint.dataflow.ap.ifds.NormalMethodAnalyzer.simpleStatementStep(MethodAnalyzer.kt:331)
        at org.opentaint.dataflow.ap.ifds.NormalMethodAnalyzer.tabulationAlgorithmStep(MethodAnalyzer.kt:308)
        at org.opentaint.dataflow.ap.ifds.TaintAnalysisUnitRunner$tabulationAlgorithm$2.invokeSuspend(TaintAnalysisUnitRunner.kt:184)
        at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
        at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:100)
        at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Unknown Source)
        at java.base/java.util.concurrent.FutureTask.run(Unknown Source)
        at java.base/java.util.concurrent.ScheduledThreadPoolExecutor$ScheduledFutureTask.run(Unknown Source)
        at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(Unknown Source)
        at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
        at java.base/java.lang.Thread.run(Unknown Source)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants