{"$schema":"http://json.schemastore.org/sarif-2.1.0-rtm.5","version":"2.1.0","runs":[{"tool":{"driver":{"name":"Infer","informationUri":"https://github.com/facebook/infer","version":"1.3.0","rules":[{"id":"TAINT_ERROR","shortDescription":{"text":"Taint Error"},"helpUri":"https://fbinfer.com/docs/next/all-issue-types#taint_error"}]}},"results":[{"message":{"text":"DataFlowBench benchmark-controlled source-to-sink flow. `int DeepRelayChainPositive.dfb_source()` is tainted by value returned from `int DeepRelayChainPositive.dfb_source()` with kind `DataFlowBenchSource` and flows to value passed as argument `#0` to `void DeepRelayChainPositive.dfb_sink(int)` with kind `DataFlowBenchSink`."},"level":"error","ruleId":"TAINT_ERROR","codeFlows":[{"threadFlows":[{"locations":[{"nestingLevel":0,"location":{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":35,"startColumn":1}},"message":{"text":"source of the taint here: value returned from `int DeepRelayChainPositive.dfb_source()` with kind `DataFlowBenchSource`"}}},{"nestingLevel":0,"location":{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":35,"startColumn":1}},"message":{"text":"when calling `void DeepRelayChainPositive.relay1(int)` here"}}},{"nestingLevel":1,"location":{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":11,"startColumn":1}},"message":{"text":"when calling `void DeepRelayChainPositive.relay2(int)` here"}}},{"nestingLevel":2,"location":{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":15,"startColumn":1}},"message":{"text":"when calling `void DeepRelayChainPositive.relay3(int)` here"}}},{"nestingLevel":3,"location":{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":19,"startColumn":1}},"message":{"text":"when calling `void DeepRelayChainPositive.relay4(int)` here"}}},{"nestingLevel":4,"location":{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":23,"startColumn":1}},"message":{"text":"when calling `void DeepRelayChainPositive.relay5(int)` here"}}},{"nestingLevel":5,"location":{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":27,"startColumn":1}},"message":{"text":"when calling `void DeepRelayChainPositive.relay6(int)` here"}}},{"nestingLevel":6,"location":{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":31,"startColumn":1}},"message":{"text":"flows to this sink: value passed as argument `#0` to `void DeepRelayChainPositive.dfb_sink(int)` with kind `DataFlowBenchSink`"}}}]}]}],"locations":[{"physicalLocation":{"artifactLocation":{"uri":"file:dataflowbench/taint/DeepRelayChainPositive.java","uriBaseId":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/infer-java-kernel/attempt-01/tmp/dataflowbench-infer-java/dfb-taint-java-deep-relay-chain-positive/dataflowbench/taint/DeepRelayChainPositive.java"},"region":{"startLine":35,"startColumn":1}}}],"fingerprints":{"hash/v1":"841ac24aae9e8e82c8e8b9deb68a9ea3","key":"DeepRelayChainPositive.java|run|TAINT_ERROR"}}]}]}