{
  "adapter": "flowdroid",
  "case_id": "dfb-taint-java-same-object-field-negative",
  "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-same-object-field-negative/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-same-object-field-negative-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-same-object-field-negative/out.xml"
  ],
  "leaks_reported": 0,
  "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-same-object-field-negative/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.001971666 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-same-object-field-negative/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.007895208 seconds\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Callgraph has 26 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: 1\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 10 forward and 6 backward edges solved in 0 seconds, processing 0 results...\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Current memory consumption: 75 MB\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Memory consumption after cleanup: 51 MB\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] WARN soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - No results found.\n[main] INFO soot.jimple.infoflow.android.SetupApplication$InPlaceInfoflow - Data flow solver took 0 seconds. Maximum memory consumption: 75 MB\n[main] INFO soot.jimple.infoflow.android.SetupApplication - Found 0 leaks from 0 sources\n",
  "results_xml": null
}