{
  "adapter": "flowdroid",
  "case_id": "dfb-taint-java-branch-join-positive",
  "evidence_kind": "retained-analyzer-output",
  "exit_status": 0,
  "invocation": [
    "/usr/bin/java",
    "-jar",
    "/Users/dave/.cache/dataflowbench-tools/flowdroid/soot-infoflow-cmd-2.15.1-jar-with-dependencies.jar",
    "-a",
    "/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/flowdroid-java-kernel/attempt-01/tmp/dataflowbench-flowdroid-java/dfb-taint-java-branch-join-positive/case.apk",
    "-p",
    "/Users/dave/.cache/dataflowbench-tools/flowdroid/android-34.jar",
    "-s",
    "/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/flowdroid-java-kernel/attempt-01/reports/raw/flowdroid-java-kernel/dfb-taint-java-branch-join-positive-sources-sinks.txt",
    "-o",
    "/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/flowdroid-java-kernel/attempt-01/tmp/dataflowbench-flowdroid-java/dfb-taint-java-branch-join-positive/out.xml"
  ],
  "leaks_reported": 1,
  "log": "[main] WARN soot.jimple.infoflow.methodSummary.data.provider.LazySummaryProvider - Lazy loading summaries from a jar/zip file might throw a ClosedChannelException. Use the EagerSummaryProvider instead.\n[main] INFO soot.jimple.infoflow.methodSummary.taintWrappers.SummaryTaintWrapper - Initializing summary taint wrapper with summaries for 347 classes...\n[main] INFO soot.jimple.infoflow.cmd.MainClass - Analyzing app /Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/flowdroid-java-kernel/attempt-01/tmp/dataflowbench-flowdroid-java/dfb-taint-java-branch-join-positive/case.apk (1 of 1)...\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Initializing Soot...\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Loading dex files...\n[main] INFO soot.jimple.infoflow.android.SetupApplication - ARSC file parsing took 0.001231334 seconds\n[main] INFO soot.jimple.infoflow.memory.MemoryWarningSystem - Registered a memory warning system for 7 372,8 MiB\n[main] INFO soot.jimple.infoflow.android.entryPointCreators.AndroidEntryPointCreator - Creating Android entry point for 1 components...\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Constructing the callgraph...\n[main] INFO soot.jimple.infoflow.android.callbacks.DefaultCallbackAnalyzer - Collecting callbacks in DEFAULT mode...\n[main] INFO soot.jimple.infoflow.android.callbacks.DefaultCallbackAnalyzer - Callback analysis done.\n[main] INFO soot.jimple.infoflow.android.entryPointCreators.AndroidEntryPointCreator - Creating Android entry point for 1 components...\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Constructing the callgraph...\n[main] INFO soot.jimple.infoflow.android.callbacks.DefaultCallbackAnalyzer - Running incremental callback analysis for 1 components...\n[main] INFO soot.jimple.infoflow.android.callbacks.DefaultCallbackAnalyzer - Incremental callback analysis done.\n[main] INFO soot.jimple.infoflow.android.entryPointCreators.AndroidEntryPointCreator - Creating Android entry point for 1 components...\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Constructing the callgraph...\n[main] INFO soot.jimple.infoflow.android.callbacks.DefaultCallbackAnalyzer - Running incremental callback analysis for 0 components...\n[main] INFO soot.jimple.infoflow.android.callbacks.DefaultCallbackAnalyzer - Incremental callback analysis done.\n[main] INFO soot.jimple.infoflow.memory.MemoryWarningSystem - Shutting down the memory warning system...\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Callback analysis terminated normally\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Entry point calculation done.\n[main] INFO soot.jimple.infoflow.android.source.AccessPathBasedSourceSinkManager - Created a SourceSinkManager with 1 sources, 1 sinks, and 1 callback methods.\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Collecting callbacks and building a callgraph took 0 seconds\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Running data flow analysis on /Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/flowdroid-java-kernel/attempt-01/tmp/dataflowbench-flowdroid-java/dfb-taint-java-branch-join-positive/case.apk with 1 sources and 1 sinks...\n[main] INFO soot.jimple.infoflow.InfoflowConfiguration - Implicit flow tracking is NOT enabled\n[main] INFO soot.jimple.infoflow.InfoflowConfiguration - Exceptional flow tracking is enabled\n[main] INFO soot.jimple.infoflow.InfoflowConfiguration - Running with a maximum access path length of 5\n[main] INFO soot.jimple.infoflow.InfoflowConfiguration - Using path-agnostic result collection\n[main] INFO soot.jimple.infoflow.InfoflowConfiguration - Recursive access path shortening is enabled\n[main] INFO soot.jimple.infoflow.InfoflowConfiguration - Taint analysis enabled: true\n[main] INFO soot.jimple.infoflow.InfoflowConfiguration - Using alias algorithm FlowSensitive\n[main] INFO soot.jimple.infoflow.memory.MemoryWarningSystem - Registered a memory warning system for 7 372,8 MiB\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Callgraph construction took 0 seconds\n[main] INFO soot.jimple.infoflow.codeOptimization.InterproceduralConstantValuePropagator - Removing side-effect free methods is disabled\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Dead code elimination took 0.008505417 seconds\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Callgraph has 24 edges\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Starting Taint Analysis\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Using context- and flow-sensitive solver\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Using context- and flow-sensitive solver\n[main] WARN soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Running with limited join point abstractions can break context-sensitive path builders\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Looking for sources and sinks...\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Source lookup done, found 1 sources and 1 sinks.\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Taint wrapper hits: 0\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Taint wrapper misses: 1\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - IFDS problem with 5 forward and 0 backward edges solved in 0 seconds, processing 1 results...\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Current memory consumption: 59 MB\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Memory consumption after cleanup: 51 MB\n[main] INFO soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory$ShutdownBatchPathBuilder - Path Reconstruction has used 6.417E-6 seconds\n[main] INFO soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory$ShutdownBatchPathBuilder - Running path reconstruction batch 1 with 1 elements\n[main] INFO soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory$RepeatableContextSensitivePathBuilder - Obtainted 1 connections between sources and sinks\n[main] INFO soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory$RepeatableContextSensitivePathBuilder - Path Reconstruction has used 2.042E-6 seconds\n[main] INFO soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory$RepeatableContextSensitivePathBuilder - Building path 1...\n[main] INFO soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory$ShutdownBatchPathBuilder - Single batch has used 0.00168125 seconds\n[main] INFO soot.jimple.infoflow.memory.MemoryWarningSystem - Shutting down the memory warning system...\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Memory consumption after path building: 51 MB\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Path reconstruction took 0 seconds\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - The sink staticinvoke <dataflowbench.taint.BranchJoinPositive: void dfb_sink(int)>($i0) in method <dataflowbench.taint.BranchJoinPositive: void run(boolean)> was called with values from the following sources:\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - - $i0 = staticinvoke <dataflowbench.taint.BranchJoinPositive: int dfb_source()>() in method <dataflowbench.taint.BranchJoinPositive: void run(boolean)>\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Data flow solver took 0 seconds. Maximum memory consumption: 59 MB\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Found 1 leaks from 1 sources\n",
  "results_xml": "<?xml version=\"1.0\" encoding=\"UTF-8\"?><DataFlowResults FileFormatVersion=\"102\" TerminationState=\"Success\"><Results><Result><Sink Statement=\"staticinvoke &lt;dataflowbench.taint.BranchJoinPositive: void dfb_sink(int)&gt;($i0)\" Method=\"&lt;dataflowbench.taint.BranchJoinPositive: void run(boolean)&gt;\" MethodSourceSinkDefinition=\"&lt;dataflowbench.taint.BranchJoinPositive: void dfb_sink(int)&gt;\"><AccessPath Value=\"$i0\" Type=\"int\" TaintSubFields=\"true\"></AccessPath></Sink><Sources><Source Statement=\"$i0 = staticinvoke &lt;dataflowbench.taint.BranchJoinPositive: int dfb_source()&gt;()\" Method=\"&lt;dataflowbench.taint.BranchJoinPositive: void run(boolean)&gt;\" MethodSourceSinkDefinition=\"&lt;dataflowbench.taint.BranchJoinPositive: int dfb_source()&gt;\"><AccessPath Value=\"$i0\" Type=\"int\" TaintSubFields=\"true\"></AccessPath></Source></Sources></Result></Results><PerformanceData><PerformanceEntry Name=\"MaxMemoryConsumption\" Value=\"59\"></PerformanceEntry><PerformanceEntry Name=\"SourceCount\" Value=\"1\"></PerformanceEntry><PerformanceEntry Name=\"SinkCount\" Value=\"1\"></PerformanceEntry></PerformanceData></DataFlowResults>"
}