Case evidence — v0.3.0

Every result links its retained raw-evidence artifact (SARIF or analyzer output), digest-bound in the freeze manifest.

`bifrost-c-kernel-taint-taint-benchmark-controlled` — `c`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-c-alias-propagation-negative`	negative	`inconclusive`	inconclusive	`4e064115e2ab…`
`alias-propagation-separation`	`dfb-taint-c-alias-propagation-positive`	positive	`inconclusive`	inconclusive	`eac5c7db65fb…`
`argument-position-separation`	`dfb-taint-c-argument-position-negative`	negative	`inconclusive`	inconclusive	`4177c5773ca8…`
`argument-position-separation`	`dfb-taint-c-argument-position-positive`	positive	`inconclusive`	inconclusive	`abe03708befd…`
`arithmetic-expression-propagation`	`dfb-taint-c-expression-negative`	negative	`inconclusive`	inconclusive	`d904d24bfb03…`
`arithmetic-expression-propagation`	`dfb-taint-c-expression-positive`	positive	`inconclusive`	inconclusive	`1caf13fb8704…`
`array-element-separation`	`dfb-taint-c-array-element-negative`	negative	`inconclusive`	inconclusive	`0521a4060744…`
`array-element-separation`	`dfb-taint-c-array-element-positive`	positive	`inconclusive`	inconclusive	`eb7a0d8e5967…`
`branch-join`	`dfb-taint-c-branch-join-negative`	negative	`inconclusive`	inconclusive	`dc35afafae6a…`
`branch-join`	`dfb-taint-c-branch-join-positive`	positive	`inconclusive`	inconclusive	`bdf879356e57…`
`call-context-separation`	`dfb-taint-c-call-context-negative`	negative	`inconclusive`	inconclusive	`61ef0bdacec9…`
`call-context-separation`	`dfb-taint-c-call-context-positive`	positive	`inconclusive`	inconclusive	`05c07dec0f19…`
`direct-propagation`	`dfb-taint-c-direct-negative`	negative	`not-reached`	true-negative	`51b151c1be37…`
`direct-propagation`	`dfb-taint-c-direct-positive`	positive	`reached`	true-positive	`bd8468b2fe4b…`
`infeasible-branch`	`dfb-taint-c-infeasible-branch-negative`	negative	`inconclusive`	inconclusive	`b1d59b798b3a…`
`infeasible-branch`	`dfb-taint-c-infeasible-branch-positive`	positive	`inconclusive`	inconclusive	`ec5f9f32ceae…`
`local-multi-step-chain`	`dfb-taint-c-local-chain-negative`	negative	`inconclusive`	inconclusive	`d82d9972c0a3…`
`local-multi-step-chain`	`dfb-taint-c-local-chain-positive`	positive	`inconclusive`	inconclusive	`89789c985865…`
`local-overwrite-kill`	`dfb-taint-c-local-overwrite-negative`	negative	`inconclusive`	inconclusive	`9d4366b0846f…`
`local-overwrite-kill`	`dfb-taint-c-local-overwrite-positive`	positive	`inconclusive`	inconclusive	`3f92d4561239…`
`loop-carried-kill`	`dfb-taint-c-loop-carried-negative`	negative	`inconclusive`	inconclusive	`0c98bddeb9b1…`
`loop-carried-kill`	`dfb-taint-c-loop-carried-positive`	positive	`inconclusive`	inconclusive	`2974e695a3e7…`
`object-separation`	`dfb-taint-c-object-separation-negative`	negative	`inconclusive`	inconclusive	`0b0a01ec19d6…`
`object-separation`	`dfb-taint-c-object-separation-positive`	positive	`inconclusive`	inconclusive	`891cc1b35605…`
`return-relay-one-hop`	`dfb-taint-c-return-relay-one-hop-negative`	negative	`inconclusive`	inconclusive	`81065bff00ad…`
`return-relay-one-hop`	`dfb-taint-c-return-relay-one-hop-positive`	positive	`inconclusive`	inconclusive	`21f9ce19ac48…`
`return-relay-two-hop`	`dfb-taint-c-return-relay-two-hop-negative`	negative	`inconclusive`	inconclusive	`edc0271c6ef7…`
`return-relay-two-hop`	`dfb-taint-c-return-relay-two-hop-positive`	positive	`inconclusive`	inconclusive	`32bbbcaee462…`
`same-object-field-separation`	`dfb-taint-c-same-object-field-negative`	negative	`inconclusive`	inconclusive	`7604d246f9b6…`
`same-object-field-separation`	`dfb-taint-c-same-object-field-positive`	positive	`inconclusive`	inconclusive	`dc3651ddb294…`

`bifrost-c-kernel-taint-taint-benchmark-controlled` — `c`, language-extension

Template	Case	Polarity	Outcome	Classification	Raw evidence
`c-error-code-return-path`	`dfb-taint-c-error-code-return-positive`	positive	`inconclusive`	inconclusive	`b7bf3fce78f4…`
`c-goto-cleanup-carry`	`dfb-taint-c-goto-cleanup-positive`	positive	`inconclusive`	inconclusive	`fe0d5f15e48b…`

`bifrost-cpp-kernel-taint-taint-benchmark-controlled` — `cpp`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-cpp-alias-propagation-negative`	negative	`inconclusive`	inconclusive	`5e4468af74c6…`
`alias-propagation-separation`	`dfb-taint-cpp-alias-propagation-positive`	positive	`inconclusive`	inconclusive	`e484c7b031d5…`
`argument-position-separation`	`dfb-taint-cpp-argument-position-negative`	negative	`inconclusive`	inconclusive	`e2bba7853ef4…`
`argument-position-separation`	`dfb-taint-cpp-argument-position-positive`	positive	`inconclusive`	inconclusive	`b48f4c044eef…`
`arithmetic-expression-propagation`	`dfb-taint-cpp-expression-negative`	negative	`inconclusive`	inconclusive	`e6572788d7d4…`
`arithmetic-expression-propagation`	`dfb-taint-cpp-expression-positive`	positive	`inconclusive`	inconclusive	`3f6d7adad221…`
`array-element-separation`	`dfb-taint-cpp-array-element-negative`	negative	`inconclusive`	inconclusive	`071ab850f3fa…`
`array-element-separation`	`dfb-taint-cpp-array-element-positive`	positive	`inconclusive`	inconclusive	`4c4379e0272c…`
`branch-join`	`dfb-taint-cpp-branch-join-negative`	negative	`inconclusive`	inconclusive	`87f8270f8950…`
`branch-join`	`dfb-taint-cpp-branch-join-positive`	positive	`inconclusive`	inconclusive	`11b91e083de0…`
`call-context-separation`	`dfb-taint-cpp-call-context-negative`	negative	`inconclusive`	inconclusive	`b91cd044f047…`
`call-context-separation`	`dfb-taint-cpp-call-context-positive`	positive	`inconclusive`	inconclusive	`c27d41e616f3…`
`direct-propagation`	`dfb-taint-cpp-direct-negative`	negative	`not-reached`	true-negative	`6eee3b9fc16c…`
`direct-propagation`	`dfb-taint-cpp-direct-positive`	positive	`reached`	true-positive	`9d723530ba69…`
`exception-catch`	`dfb-taint-cpp-exception-catch-negative`	negative	`inconclusive`	inconclusive	`314353afcc74…`
`exception-catch`	`dfb-taint-cpp-exception-catch-positive`	positive	`inconclusive`	inconclusive	`91f414f58b29…`
`infeasible-branch`	`dfb-taint-cpp-infeasible-branch-negative`	negative	`inconclusive`	inconclusive	`63b2ecb90f94…`
`infeasible-branch`	`dfb-taint-cpp-infeasible-branch-positive`	positive	`inconclusive`	inconclusive	`fd2d470ba5bb…`
`local-multi-step-chain`	`dfb-taint-cpp-local-chain-negative`	negative	`inconclusive`	inconclusive	`a90f3a353f11…`
`local-multi-step-chain`	`dfb-taint-cpp-local-chain-positive`	positive	`inconclusive`	inconclusive	`2223bede9106…`
`local-overwrite-kill`	`dfb-taint-cpp-local-overwrite-negative`	negative	`inconclusive`	inconclusive	`a42cd4a4d642…`
`local-overwrite-kill`	`dfb-taint-cpp-local-overwrite-positive`	positive	`inconclusive`	inconclusive	`611dca8e2841…`
`loop-carried-kill`	`dfb-taint-cpp-loop-carried-negative`	negative	`inconclusive`	inconclusive	`27e113596e21…`
`loop-carried-kill`	`dfb-taint-cpp-loop-carried-positive`	positive	`inconclusive`	inconclusive	`7c0b4ebd9564…`
`object-separation`	`dfb-taint-cpp-object-separation-negative`	negative	`inconclusive`	inconclusive	`d011044bbc60…`
`object-separation`	`dfb-taint-cpp-object-separation-positive`	positive	`inconclusive`	inconclusive	`38bf07b750cd…`
`return-relay-one-hop`	`dfb-taint-cpp-return-relay-one-hop-negative`	negative	`inconclusive`	inconclusive	`bb363df97a7c…`
`return-relay-one-hop`	`dfb-taint-cpp-return-relay-one-hop-positive`	positive	`inconclusive`	inconclusive	`f6021a41c127…`
`return-relay-two-hop`	`dfb-taint-cpp-return-relay-two-hop-negative`	negative	`inconclusive`	inconclusive	`fa1a4993ffa8…`
`return-relay-two-hop`	`dfb-taint-cpp-return-relay-two-hop-positive`	positive	`inconclusive`	inconclusive	`d0b881d9d3fa…`
`same-object-field-separation`	`dfb-taint-cpp-same-object-field-negative`	negative	`inconclusive`	inconclusive	`c4808792d30c…`
`same-object-field-separation`	`dfb-taint-cpp-same-object-field-positive`	positive	`inconclusive`	inconclusive	`225780e8b63c…`

`bifrost-csharp-kernel-taint-taint-benchmark-controlled` — `csharp`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-csharp-alias-propagation-negative`	negative	`inconclusive`	inconclusive	`a848748e8514…`
`alias-propagation-separation`	`dfb-taint-csharp-alias-propagation-positive`	positive	`inconclusive`	inconclusive	`c5a0716f82cc…`
`argument-position-separation`	`dfb-taint-csharp-argument-position-negative`	negative	`inconclusive`	inconclusive	`f6ff33a8aab1…`
`argument-position-separation`	`dfb-taint-csharp-argument-position-positive`	positive	`inconclusive`	inconclusive	`a15533797a58…`
`arithmetic-expression-propagation`	`dfb-taint-csharp-expression-negative`	negative	`inconclusive`	inconclusive	`98d19bf48a09…`
`arithmetic-expression-propagation`	`dfb-taint-csharp-expression-positive`	positive	`inconclusive`	inconclusive	`19b7e3c32fd3…`
`array-element-separation`	`dfb-taint-csharp-array-element-negative`	negative	`inconclusive`	inconclusive	`38855d255c53…`
`array-element-separation`	`dfb-taint-csharp-array-element-positive`	positive	`inconclusive`	inconclusive	`d77773d89885…`
`branch-join`	`dfb-taint-csharp-branch-join-negative`	negative	`inconclusive`	inconclusive	`1e2d130aee0b…`
`branch-join`	`dfb-taint-csharp-branch-join-positive`	positive	`inconclusive`	inconclusive	`64ef8a2fff7e…`
`call-context-separation`	`dfb-taint-csharp-call-context-negative`	negative	`inconclusive`	inconclusive	`bc1f58739d42…`
`call-context-separation`	`dfb-taint-csharp-call-context-positive`	positive	`inconclusive`	inconclusive	`d7a967f6adc7…`
`direct-propagation`	`dfb-taint-csharp-direct-negative`	negative	`not-reached`	true-negative	`3c405efeb086…`
`direct-propagation`	`dfb-taint-csharp-direct-positive`	positive	`reached`	true-positive	`de0f1f06f441…`
`exception-catch`	`dfb-taint-csharp-exception-catch-negative`	negative	`inconclusive`	inconclusive	`849901b00751…`
`exception-catch`	`dfb-taint-csharp-exception-catch-positive`	positive	`inconclusive`	inconclusive	`3da8d9db9810…`
`infeasible-branch`	`dfb-taint-csharp-infeasible-branch-negative`	negative	`inconclusive`	inconclusive	`2b2d07294fbc…`
`infeasible-branch`	`dfb-taint-csharp-infeasible-branch-positive`	positive	`inconclusive`	inconclusive	`6dd4a6463a65…`
`local-multi-step-chain`	`dfb-taint-csharp-local-chain-negative`	negative	`inconclusive`	inconclusive	`8f3e90b0334f…`
`local-multi-step-chain`	`dfb-taint-csharp-local-chain-positive`	positive	`inconclusive`	inconclusive	`07dce8795964…`
`local-overwrite-kill`	`dfb-taint-csharp-local-overwrite-negative`	negative	`inconclusive`	inconclusive	`fbdf4fe0c5b8…`
`local-overwrite-kill`	`dfb-taint-csharp-local-overwrite-positive`	positive	`inconclusive`	inconclusive	`1198963b55a2…`
`loop-carried-kill`	`dfb-taint-csharp-loop-carried-negative`	negative	`inconclusive`	inconclusive	`dda2d6989471…`
`loop-carried-kill`	`dfb-taint-csharp-loop-carried-positive`	positive	`inconclusive`	inconclusive	`c1a5f51ab86c…`
`object-separation`	`dfb-taint-csharp-object-separation-negative`	negative	`inconclusive`	inconclusive	`1873e9e5cc4f…`
`object-separation`	`dfb-taint-csharp-object-separation-positive`	positive	`inconclusive`	inconclusive	`fb228227fd0b…`
`return-relay-one-hop`	`dfb-taint-csharp-return-relay-one-hop-negative`	negative	`inconclusive`	inconclusive	`d8c009138cb3…`
`return-relay-one-hop`	`dfb-taint-csharp-return-relay-one-hop-positive`	positive	`inconclusive`	inconclusive	`6b2fbc6ac9fb…`
`return-relay-two-hop`	`dfb-taint-csharp-return-relay-two-hop-negative`	negative	`inconclusive`	inconclusive	`ad7f539bc18f…`
`return-relay-two-hop`	`dfb-taint-csharp-return-relay-two-hop-positive`	positive	`inconclusive`	inconclusive	`5d02c5abac34…`
`same-object-field-separation`	`dfb-taint-csharp-same-object-field-negative`	negative	`inconclusive`	inconclusive	`08a827a05a29…`
`same-object-field-separation`	`dfb-taint-csharp-same-object-field-positive`	positive	`inconclusive`	inconclusive	`06f572f472f7…`

`bifrost-go-kernel-taint-taint-benchmark-controlled` — `go`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-go-alias-propagation-negative`	negative	`inconclusive`	inconclusive	`7e9785b9f7bc…`
`alias-propagation-separation`	`dfb-taint-go-alias-propagation-positive`	positive	`inconclusive`	inconclusive	`b257ccc3733a…`
`argument-position-separation`	`dfb-taint-go-argument-position-negative`	negative	`inconclusive`	inconclusive	`aba91f7a8941…`
`argument-position-separation`	`dfb-taint-go-argument-position-positive`	positive	`inconclusive`	inconclusive	`423d834be54e…`
`arithmetic-expression-propagation`	`dfb-taint-go-expression-negative`	negative	`inconclusive`	inconclusive	`e177ab41c9ae…`
`arithmetic-expression-propagation`	`dfb-taint-go-expression-positive`	positive	`inconclusive`	inconclusive	`76b324e82304…`
`array-element-separation`	`dfb-taint-go-array-element-negative`	negative	`inconclusive`	inconclusive	`25e8c7312b6d…`
`array-element-separation`	`dfb-taint-go-array-element-positive`	positive	`inconclusive`	inconclusive	`14e1471be75a…`
`branch-join`	`dfb-taint-go-branch-join-negative`	negative	`inconclusive`	inconclusive	`3f5ddd91e66f…`
`branch-join`	`dfb-taint-go-branch-join-positive`	positive	`inconclusive`	inconclusive	`8c300f773473…`
`call-context-separation`	`dfb-taint-go-call-context-negative`	negative	`not-reached`	true-negative	`061f5c098c72…`
`call-context-separation`	`dfb-taint-go-call-context-positive`	positive	`reached`	true-positive	`78dd8c420841…`
`direct-propagation`	`dfb-taint-go-direct-negative`	negative	`not-reached`	true-negative	`0a860572ce17…`
`direct-propagation`	`dfb-taint-go-direct-positive`	positive	`reached`	true-positive	`ee361ea76ceb…`
`exception-catch`	`dfb-taint-go-exception-catch-negative`	negative	`inconclusive`	inconclusive	`8035a06996e3…`
`exception-catch`	`dfb-taint-go-exception-catch-positive`	positive	`inconclusive`	inconclusive	`65088e5726fd…`
`infeasible-branch`	`dfb-taint-go-infeasible-branch-negative`	negative	`inconclusive`	inconclusive	`1e6989317b92…`
`infeasible-branch`	`dfb-taint-go-infeasible-branch-positive`	positive	`inconclusive`	inconclusive	`4e7067abad48…`
`local-multi-step-chain`	`dfb-taint-go-local-chain-negative`	negative	`not-reached`	true-negative	`5c72f1bb4285…`
`local-multi-step-chain`	`dfb-taint-go-local-chain-positive`	positive	`reached`	true-positive	`79cff144d324…`
`local-overwrite-kill`	`dfb-taint-go-local-overwrite-negative`	negative	`inconclusive`	inconclusive	`91731c1e226c…`
`local-overwrite-kill`	`dfb-taint-go-local-overwrite-positive`	positive	`inconclusive`	inconclusive	`22cb49a3fc96…`
`loop-carried-kill`	`dfb-taint-go-loop-carried-negative`	negative	`inconclusive`	inconclusive	`0f0442434cba…`
`loop-carried-kill`	`dfb-taint-go-loop-carried-positive`	positive	`inconclusive`	inconclusive	`2e5a31b2d5f4…`
`object-separation`	`dfb-taint-go-object-separation-negative`	negative	`inconclusive`	inconclusive	`66fc911b3699…`
`object-separation`	`dfb-taint-go-object-separation-positive`	positive	`inconclusive`	inconclusive	`9a2967752953…`
`return-relay-one-hop`	`dfb-taint-go-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`07a049ccb557…`
`return-relay-one-hop`	`dfb-taint-go-return-relay-one-hop-positive`	positive	`reached`	true-positive	`bebddc142110…`
`return-relay-two-hop`	`dfb-taint-go-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`4913cced37eb…`
`return-relay-two-hop`	`dfb-taint-go-return-relay-two-hop-positive`	positive	`reached`	true-positive	`dc84a7fb841e…`
`same-object-field-separation`	`dfb-taint-go-same-object-field-negative`	negative	`inconclusive`	inconclusive	`4514ff636055…`
`same-object-field-separation`	`dfb-taint-go-same-object-field-positive`	positive	`inconclusive`	inconclusive	`5c5acd4333c8…`

`bifrost-kotlin-kernel-taint-taint-benchmark-controlled` — `kotlin`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-kotlin-alias-propagation-negative`	negative	`inconclusive`	inconclusive	`a9f32f2a8c88…`
`alias-propagation-separation`	`dfb-taint-kotlin-alias-propagation-positive`	positive	`inconclusive`	inconclusive	`36bc87a80119…`
`argument-position-separation`	`dfb-taint-kotlin-argument-position-negative`	negative	`not-reached`	true-negative	`76e2ce243021…`
`argument-position-separation`	`dfb-taint-kotlin-argument-position-positive`	positive	`reached`	true-positive	`a46364d5677e…`
`arithmetic-expression-propagation`	`dfb-taint-kotlin-expression-negative`	negative	`not-reached`	true-negative	`0922985621b2…`
`arithmetic-expression-propagation`	`dfb-taint-kotlin-expression-positive`	positive	`not-reached`	false-negative	`b66bc174f49d…`
`array-element-separation`	`dfb-taint-kotlin-array-element-negative`	negative	`inconclusive`	inconclusive	`0f7e29b89196…`
`array-element-separation`	`dfb-taint-kotlin-array-element-positive`	positive	`inconclusive`	inconclusive	`c44cb6294e3f…`
`branch-join`	`dfb-taint-kotlin-branch-join-negative`	negative	`not-reached`	true-negative	`4f03a4a44419…`
`branch-join`	`dfb-taint-kotlin-branch-join-positive`	positive	`reached`	true-positive	`2651399b7fbf…`
`call-context-separation`	`dfb-taint-kotlin-call-context-negative`	negative	`not-reached`	true-negative	`b4e958cb1b0b…`
`call-context-separation`	`dfb-taint-kotlin-call-context-positive`	positive	`reached`	true-positive	`a98f56944edc…`
`direct-propagation`	`dfb-taint-kotlin-direct-negative`	negative	`not-reached`	true-negative	`495ac6621f19…`
`direct-propagation`	`dfb-taint-kotlin-direct-positive`	positive	`reached`	true-positive	`5827f76fefa3…`
`exception-catch`	`dfb-taint-kotlin-exception-catch-negative`	negative	`inconclusive`	inconclusive	`5b6bbfda1f13…`
`exception-catch`	`dfb-taint-kotlin-exception-catch-positive`	positive	`inconclusive`	inconclusive	`b867b75142f5…`
`infeasible-branch`	`dfb-taint-kotlin-infeasible-branch-negative`	negative	`reached`	false-positive	`ce33a13698a6…`
`infeasible-branch`	`dfb-taint-kotlin-infeasible-branch-positive`	positive	`reached`	true-positive	`ae71b5fc45e8…`
`local-multi-step-chain`	`dfb-taint-kotlin-local-chain-negative`	negative	`not-reached`	true-negative	`cbcf03a13c5e…`
`local-multi-step-chain`	`dfb-taint-kotlin-local-chain-positive`	positive	`reached`	true-positive	`851cdcf44ce4…`
`local-overwrite-kill`	`dfb-taint-kotlin-local-overwrite-negative`	negative	`not-reached`	true-negative	`232c2d174b79…`
`local-overwrite-kill`	`dfb-taint-kotlin-local-overwrite-positive`	positive	`reached`	true-positive	`6127a3b9b086…`
`loop-carried-kill`	`dfb-taint-kotlin-loop-carried-negative`	negative	`reached`	false-positive	`13caf4bbc882…`
`loop-carried-kill`	`dfb-taint-kotlin-loop-carried-positive`	positive	`reached`	true-positive	`4f54865acee7…`
`object-separation`	`dfb-taint-kotlin-object-separation-negative`	negative	`inconclusive`	inconclusive	`20172899fe3d…`
`object-separation`	`dfb-taint-kotlin-object-separation-positive`	positive	`inconclusive`	inconclusive	`f10d54eccd33…`
`return-relay-one-hop`	`dfb-taint-kotlin-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`34c8fde70824…`
`return-relay-one-hop`	`dfb-taint-kotlin-return-relay-one-hop-positive`	positive	`reached`	true-positive	`de5a091cfbc6…`
`return-relay-two-hop`	`dfb-taint-kotlin-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`ab5f95a286bd…`
`return-relay-two-hop`	`dfb-taint-kotlin-return-relay-two-hop-positive`	positive	`reached`	true-positive	`10d6b1a0a538…`
`same-object-field-separation`	`dfb-taint-kotlin-same-object-field-negative`	negative	`inconclusive`	inconclusive	`6e782c68b654…`
`same-object-field-separation`	`dfb-taint-kotlin-same-object-field-positive`	positive	`inconclusive`	inconclusive	`e503ac4d90a7…`

`bifrost-python-kernel-taint-taint-benchmark-controlled` — `python`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-python-alias-propagation-negative`	negative	`not-reached`	true-negative	`1a049b82e48b…`
`alias-propagation-separation`	`dfb-taint-python-alias-propagation-positive`	positive	`reached`	true-positive	`28ed1c1b8c81…`
`argument-position-separation`	`dfb-taint-python-argument-position-negative`	negative	`not-reached`	true-negative	`6d5220cbff14…`
`argument-position-separation`	`dfb-taint-python-argument-position-positive`	positive	`reached`	true-positive	`3ffc5cd5492a…`
`arithmetic-expression-propagation`	`dfb-taint-python-arithmetic-expression-negative`	negative	`not-reached`	true-negative	`27413cca645f…`
`arithmetic-expression-propagation`	`dfb-taint-python-arithmetic-expression-positive`	positive	`reached`	true-positive	`326d44ec922e…`
`array-element-separation`	`dfb-taint-python-array-element-negative`	negative	`not-reached`	true-negative	`4f1ca6f97e80…`
`array-element-separation`	`dfb-taint-python-array-element-positive`	positive	`reached`	true-positive	`34c63b6c44c1…`
`branch-join`	`dfb-taint-python-branch-join-negative`	negative	`not-reached`	true-negative	`06f94a9e1de6…`
`branch-join`	`dfb-taint-python-branch-join-positive`	positive	`reached`	true-positive	`203d123ab8be…`
`call-context-separation`	`dfb-taint-python-call-context-negative`	negative	`not-reached`	true-negative	`a727ea9c742a…`
`call-context-separation`	`dfb-taint-python-call-context-positive`	positive	`reached`	true-positive	`b08a667e8c12…`
`direct-propagation`	`dfb-taint-python-direct-negative`	negative	`not-reached`	true-negative	`8a5c016b42b8…`
`direct-propagation`	`dfb-taint-python-direct-positive`	positive	`reached`	true-positive	`8c6f7936a826…`
`exception-catch`	`dfb-taint-python-exception-catch-negative`	negative	`not-reached`	true-negative	`defc9b7aba59…`
`exception-catch`	`dfb-taint-python-exception-catch-positive`	positive	`reached`	true-positive	`38de4921d194…`
`infeasible-branch`	`dfb-taint-python-infeasible-branch-negative`	negative	`not-reached`	true-negative	`7881079a5318…`
`infeasible-branch`	`dfb-taint-python-infeasible-branch-positive`	positive	`reached`	true-positive	`077c21222e82…`
`local-multi-step-chain`	`dfb-taint-python-local-chain-negative`	negative	`not-reached`	true-negative	`1ad20f2e3215…`
`local-multi-step-chain`	`dfb-taint-python-local-chain-positive`	positive	`reached`	true-positive	`c5b1b9a4d04c…`
`local-overwrite-kill`	`dfb-taint-python-local-overwrite-negative`	negative	`not-reached`	true-negative	`934daefee5ea…`
`local-overwrite-kill`	`dfb-taint-python-local-overwrite-positive`	positive	`reached`	true-positive	`1254b64dbf6f…`
`loop-carried-kill`	`dfb-taint-python-loop-carried-negative`	negative	`not-reached`	true-negative	`085f79bba442…`
`loop-carried-kill`	`dfb-taint-python-loop-carried-positive`	positive	`reached`	true-positive	`3df643b9c920…`
`object-separation`	`dfb-taint-python-object-separation-negative`	negative	`not-reached`	true-negative	`9c4945a9f481…`
`object-separation`	`dfb-taint-python-object-separation-positive`	positive	`reached`	true-positive	`dc3f087a6a1d…`
`return-relay-one-hop`	`dfb-taint-python-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`e349c14988e0…`
`return-relay-one-hop`	`dfb-taint-python-return-relay-one-hop-positive`	positive	`reached`	true-positive	`e52e0551e630…`
`return-relay-two-hop`	`dfb-taint-python-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`875a2ff61238…`
`return-relay-two-hop`	`dfb-taint-python-return-relay-two-hop-positive`	positive	`reached`	true-positive	`4f78ab83e123…`
`same-object-field-separation`	`dfb-taint-python-same-object-field-negative`	negative	`not-reached`	true-negative	`1fa19c6509a8…`
`same-object-field-separation`	`dfb-taint-python-same-object-field-positive`	positive	`reached`	true-positive	`d4dac3f4bf35…`

`bifrost-rust-kernel-taint-taint-benchmark-controlled` — `rust`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-rust-alias-propagation-negative`	negative	`runner-error`	runner-error	`ebeb91727bb6…`
`alias-propagation-separation`	`dfb-taint-rust-alias-propagation-positive`	positive	`runner-error`	runner-error	`fcc65813080d…`
`argument-position-separation`	`dfb-taint-rust-argument-position-negative`	negative	`inconclusive`	inconclusive	`8b468de26931…`
`argument-position-separation`	`dfb-taint-rust-argument-position-positive`	positive	`inconclusive`	inconclusive	`60f6ab016563…`
`arithmetic-expression-propagation`	`dfb-taint-rust-expression-negative`	negative	`inconclusive`	inconclusive	`51e4f8a4b0b8…`
`arithmetic-expression-propagation`	`dfb-taint-rust-expression-positive`	positive	`inconclusive`	inconclusive	`85dc5109af26…`
`array-element-separation`	`dfb-taint-rust-array-element-negative`	negative	`runner-error`	runner-error	`16a9770650c8…`
`array-element-separation`	`dfb-taint-rust-array-element-positive`	positive	`runner-error`	runner-error	`16a9770650c8…`
`branch-join`	`dfb-taint-rust-branch-join-negative`	negative	`inconclusive`	inconclusive	`7e90671d511c…`
`branch-join`	`dfb-taint-rust-branch-join-positive`	positive	`inconclusive`	inconclusive	`9008009d92bb…`
`call-context-separation`	`dfb-taint-rust-call-context-negative`	negative	`inconclusive`	inconclusive	`a659158d7949…`
`call-context-separation`	`dfb-taint-rust-call-context-positive`	positive	`inconclusive`	inconclusive	`bfcc1834dba9…`
`direct-propagation`	`dfb-taint-rust-direct-negative`	negative	`not-reached`	true-negative	`e62ebdbbe5c7…`
`direct-propagation`	`dfb-taint-rust-direct-positive`	positive	`reached`	true-positive	`7055fb7b58ad…`
`infeasible-branch`	`dfb-taint-rust-infeasible-branch-negative`	negative	`inconclusive`	inconclusive	`53e093a233e5…`
`infeasible-branch`	`dfb-taint-rust-infeasible-branch-positive`	positive	`inconclusive`	inconclusive	`1b06f93d4485…`
`local-multi-step-chain`	`dfb-taint-rust-local-chain-negative`	negative	`inconclusive`	inconclusive	`8c969200ffd8…`
`local-multi-step-chain`	`dfb-taint-rust-local-chain-positive`	positive	`inconclusive`	inconclusive	`5172487937fb…`
`local-overwrite-kill`	`dfb-taint-rust-local-overwrite-negative`	negative	`inconclusive`	inconclusive	`d163cf5a77aa…`
`local-overwrite-kill`	`dfb-taint-rust-local-overwrite-positive`	positive	`inconclusive`	inconclusive	`f4f8aea6fb64…`
`loop-carried-kill`	`dfb-taint-rust-loop-carried-negative`	negative	`inconclusive`	inconclusive	`0a80fff1fc92…`
`loop-carried-kill`	`dfb-taint-rust-loop-carried-positive`	positive	`inconclusive`	inconclusive	`2702d4d5aa11…`
`object-separation`	`dfb-taint-rust-object-separation-negative`	negative	`runner-error`	runner-error	`eda240208e3d…`
`object-separation`	`dfb-taint-rust-object-separation-positive`	positive	`runner-error`	runner-error	`a42363582232…`
`return-relay-one-hop`	`dfb-taint-rust-return-relay-one-hop-negative`	negative	`inconclusive`	inconclusive	`ac4893efbc99…`
`return-relay-one-hop`	`dfb-taint-rust-return-relay-one-hop-positive`	positive	`inconclusive`	inconclusive	`b7659e44ab57…`
`return-relay-two-hop`	`dfb-taint-rust-return-relay-two-hop-negative`	negative	`inconclusive`	inconclusive	`9cfe1b83b54a…`
`return-relay-two-hop`	`dfb-taint-rust-return-relay-two-hop-positive`	positive	`inconclusive`	inconclusive	`9b70d8769487…`
`same-object-field-separation`	`dfb-taint-rust-same-object-field-negative`	negative	`runner-error`	runner-error	`d1049743e5c2…`
`same-object-field-separation`	`dfb-taint-rust-same-object-field-positive`	positive	`runner-error`	runner-error	`00189151f77d…`

`bifrost-rust-kernel-taint-taint-benchmark-controlled` — `rust`, language-extension

Template	Case	Polarity	Outcome	Classification	Raw evidence
`result-error-propagation`	`dfb-taint-rust-result-error-propagation-negative`	negative	`inconclusive`	inconclusive	`ff37a84aefd5…`
`result-error-propagation`	`dfb-taint-rust-result-error-propagation-positive`	positive	`inconclusive`	inconclusive	`d2d441982407…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `c`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-c-direct-negative`	negative	`not-reached`	true-negative	`51b151c1be37…`
`direct-propagation`	`dfb-taint-c-direct-positive`	positive	`reached`	true-positive	`bd8468b2fe4b…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `cpp`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-cpp-direct-negative`	negative	`not-reached`	true-negative	`6eee3b9fc16c…`
`direct-propagation`	`dfb-taint-cpp-direct-positive`	positive	`reached`	true-positive	`9d723530ba69…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `csharp`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-csharp-direct-negative`	negative	`not-reached`	true-negative	`3c405efeb086…`
`direct-propagation`	`dfb-taint-csharp-direct-positive`	positive	`reached`	true-positive	`de0f1f06f441…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `go`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-go-direct-negative`	negative	`not-reached`	true-negative	`0a860572ce17…`
`direct-propagation`	`dfb-taint-go-direct-positive`	positive	`reached`	true-positive	`ee361ea76ceb…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `java`, calibration

Template	Case	Polarity	Outcome	Classification	Raw evidence
`modeled-external-summary`	`dfb-taint-java-modeled-external`	positive	`unsupported`	unsupported	`01be675e06e4…`
`one-hop-relay`	`dfb-taint-java-one-hop-positive`	positive	`reached`	true-positive	`29d484638dd8…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `java`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-java-alias-propagation-negative`	negative	`not-reached`	true-negative	`0ddf5e90b07a…`
`alias-propagation-separation`	`dfb-taint-java-alias-propagation-positive`	positive	`reached`	true-positive	`6278f1d2aa2f…`
`argument-position-separation`	`dfb-taint-java-argument-position-negative`	negative	`not-reached`	true-negative	`0c78f107053c…`
`argument-position-separation`	`dfb-taint-java-argument-position-positive`	positive	`reached`	true-positive	`084f360850fa…`
`arithmetic-expression-propagation`	`dfb-taint-java-expression-negative`	negative	`not-reached`	true-negative	`7f978d3927cf…`
`arithmetic-expression-propagation`	`dfb-taint-java-expression-positive`	positive	`reached`	true-positive	`b576f8c35965…`
`array-element-separation`	`dfb-taint-java-array-element-negative`	negative	`not-reached`	true-negative	`cf1e682877f4…`
`array-element-separation`	`dfb-taint-java-array-element-positive`	positive	`reached`	true-positive	`50c4044882b3…`
`branch-join`	`dfb-taint-java-branch-join-negative`	negative	`not-reached`	true-negative	`858451967727…`
`branch-join`	`dfb-taint-java-branch-join-positive`	positive	`reached`	true-positive	`9be6f9327bd7…`
`call-context-separation`	`dfb-taint-java-call-context-negative`	negative	`not-reached`	true-negative	`155cd0e284b3…`
`call-context-separation`	`dfb-taint-java-call-context-positive`	positive	`reached`	true-positive	`232775c8be77…`
`direct-propagation`	`dfb-taint-java-direct-positive`	positive	`reached`	true-positive	`1866a3bd58ec…`
`direct-propagation`	`dfb-taint-java-explicit-negative`	negative	`not-reached`	true-negative	`b3e061182184…`
`exception-catch`	`dfb-taint-java-exception-catch-negative`	negative	`not-reached`	true-negative	`5984b135f17f…`
`exception-catch`	`dfb-taint-java-exception-catch-positive`	positive	`reached`	true-positive	`484745363743…`
`infeasible-branch`	`dfb-taint-java-infeasible-branch-negative`	negative	`not-reached`	true-negative	`d135a782d33d…`
`infeasible-branch`	`dfb-taint-java-infeasible-branch-positive`	positive	`reached`	true-positive	`2068a8e2008e…`
`local-multi-step-chain`	`dfb-taint-java-local-chain-negative`	negative	`not-reached`	true-negative	`81f4f1ed622c…`
`local-multi-step-chain`	`dfb-taint-java-local-chain-positive`	positive	`reached`	true-positive	`252c9d26ef51…`
`local-overwrite-kill`	`dfb-taint-java-local-overwrite-negative`	negative	`not-reached`	true-negative	`18416db54d7f…`
`local-overwrite-kill`	`dfb-taint-java-local-overwrite-positive`	positive	`reached`	true-positive	`7a84a070a8bb…`
`loop-carried-kill`	`dfb-taint-java-loop-carried-negative`	negative	`not-reached`	true-negative	`93cb7bc4d3e6…`
`loop-carried-kill`	`dfb-taint-java-loop-carried-positive`	positive	`reached`	true-positive	`d72e3e90334f…`
`object-separation`	`dfb-taint-java-object-separation-negative`	negative	`not-reached`	true-negative	`de41a07b5ef8…`
`object-separation`	`dfb-taint-java-object-separation-positive`	positive	`reached`	true-positive	`948f073fba76…`
`return-relay-one-hop`	`dfb-taint-java-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`67730c8c6355…`
`return-relay-one-hop`	`dfb-taint-java-return-relay-one-hop-positive`	positive	`reached`	true-positive	`45bd921e124d…`
`return-relay-two-hop`	`dfb-taint-java-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`74410cdbfd5c…`
`return-relay-two-hop`	`dfb-taint-java-return-relay-two-hop-positive`	positive	`reached`	true-positive	`f45ac280905c…`
`same-object-field-separation`	`dfb-taint-java-same-object-field-negative`	negative	`not-reached`	true-negative	`bb978f95f438…`
`same-object-field-separation`	`dfb-taint-java-same-object-field-positive`	positive	`reached`	true-positive	`94267179ef74…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `javascript`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-javascript-alias-propagation-negative`	negative	`not-reached`	true-negative	`a86f4adf4668…`
`alias-propagation-separation`	`dfb-taint-javascript-alias-propagation-positive`	positive	`reached`	true-positive	`267c40b4c72a…`
`argument-position-separation`	`dfb-taint-javascript-argument-position-negative`	negative	`not-reached`	true-negative	`5f9c4c14fdef…`
`argument-position-separation`	`dfb-taint-javascript-argument-position-positive`	positive	`reached`	true-positive	`03fd6f2c117e…`
`arithmetic-expression-propagation`	`dfb-taint-javascript-expression-negative`	negative	`not-reached`	true-negative	`43e5803ef57e…`
`arithmetic-expression-propagation`	`dfb-taint-javascript-expression-positive`	positive	`reached`	true-positive	`63ff1584724a…`
`array-element-separation`	`dfb-taint-javascript-array-element-negative`	negative	`not-reached`	true-negative	`1f69f93ee97c…`
`array-element-separation`	`dfb-taint-javascript-array-element-positive`	positive	`reached`	true-positive	`7f1b3a18c792…`
`branch-join`	`dfb-taint-javascript-branch-join-negative`	negative	`not-reached`	true-negative	`cc4f70b54952…`
`branch-join`	`dfb-taint-javascript-branch-join-positive`	positive	`reached`	true-positive	`ece1d135f6e7…`
`call-context-separation`	`dfb-taint-javascript-call-context-negative`	negative	`not-reached`	true-negative	`70cd332c23bd…`
`call-context-separation`	`dfb-taint-javascript-call-context-positive`	positive	`reached`	true-positive	`09a475ae89ee…`
`direct-propagation`	`dfb-taint-javascript-direct-negative`	negative	`not-reached`	true-negative	`67765e120e7d…`
`direct-propagation`	`dfb-taint-javascript-direct-positive`	positive	`reached`	true-positive	`07623fa3fcb4…`
`exception-catch`	`dfb-taint-javascript-exception-catch-negative`	negative	`not-reached`	true-negative	`47e5a35ef989…`
`exception-catch`	`dfb-taint-javascript-exception-catch-positive`	positive	`reached`	true-positive	`cf930d2b6a32…`
`infeasible-branch`	`dfb-taint-javascript-infeasible-branch-negative`	negative	`not-reached`	true-negative	`d7c1f6e9fa3a…`
`infeasible-branch`	`dfb-taint-javascript-infeasible-branch-positive`	positive	`reached`	true-positive	`638010992bab…`
`local-multi-step-chain`	`dfb-taint-javascript-local-chain-negative`	negative	`not-reached`	true-negative	`112f9e463023…`
`local-multi-step-chain`	`dfb-taint-javascript-local-chain-positive`	positive	`reached`	true-positive	`5c6dc998079e…`
`local-overwrite-kill`	`dfb-taint-javascript-local-overwrite-negative`	negative	`not-reached`	true-negative	`6901270364f9…`
`local-overwrite-kill`	`dfb-taint-javascript-local-overwrite-positive`	positive	`reached`	true-positive	`63f1ca6ab2ac…`
`loop-carried-kill`	`dfb-taint-javascript-loop-carried-negative`	negative	`not-reached`	true-negative	`234293758fac…`
`loop-carried-kill`	`dfb-taint-javascript-loop-carried-positive`	positive	`reached`	true-positive	`e9007454a968…`
`object-separation`	`dfb-taint-javascript-object-separation-negative`	negative	`not-reached`	true-negative	`0c96ec71ca93…`
`object-separation`	`dfb-taint-javascript-object-separation-positive`	positive	`reached`	true-positive	`d7d5fe66e4a5…`
`return-relay-one-hop`	`dfb-taint-javascript-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`e1f9ab66fd1f…`
`return-relay-one-hop`	`dfb-taint-javascript-return-relay-one-hop-positive`	positive	`reached`	true-positive	`2449dbcedc16…`
`return-relay-two-hop`	`dfb-taint-javascript-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`444a50a15ded…`
`return-relay-two-hop`	`dfb-taint-javascript-return-relay-two-hop-positive`	positive	`reached`	true-positive	`67da90ef1efa…`
`same-object-field-separation`	`dfb-taint-javascript-same-object-field-negative`	negative	`not-reached`	true-negative	`b2ebde64e6f2…`
`same-object-field-separation`	`dfb-taint-javascript-same-object-field-positive`	positive	`reached`	true-positive	`ea5de81975a5…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `kotlin`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-kotlin-direct-negative`	negative	`not-reached`	true-negative	`3288da1cfac9…`
`direct-propagation`	`dfb-taint-kotlin-direct-positive`	positive	`reached`	true-positive	`4649f881462e…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `php`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-php-direct-negative`	negative	`not-reached`	true-negative	`a291155fe5d2…`
`direct-propagation`	`dfb-taint-php-direct-positive`	positive	`reached`	true-positive	`8d463172c292…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `python`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-python-alias-propagation-negative`	negative	`not-reached`	true-negative	`1a049b82e48b…`
`alias-propagation-separation`	`dfb-taint-python-alias-propagation-positive`	positive	`reached`	true-positive	`28ed1c1b8c81…`
`argument-position-separation`	`dfb-taint-python-argument-position-negative`	negative	`not-reached`	true-negative	`6d5220cbff14…`
`argument-position-separation`	`dfb-taint-python-argument-position-positive`	positive	`reached`	true-positive	`3ffc5cd5492a…`
`arithmetic-expression-propagation`	`dfb-taint-python-arithmetic-expression-negative`	negative	`not-reached`	true-negative	`27413cca645f…`
`arithmetic-expression-propagation`	`dfb-taint-python-arithmetic-expression-positive`	positive	`reached`	true-positive	`326d44ec922e…`
`array-element-separation`	`dfb-taint-python-array-element-negative`	negative	`not-reached`	true-negative	`4f1ca6f97e80…`
`array-element-separation`	`dfb-taint-python-array-element-positive`	positive	`reached`	true-positive	`34c63b6c44c1…`
`branch-join`	`dfb-taint-python-branch-join-negative`	negative	`not-reached`	true-negative	`06f94a9e1de6…`
`branch-join`	`dfb-taint-python-branch-join-positive`	positive	`reached`	true-positive	`203d123ab8be…`
`call-context-separation`	`dfb-taint-python-call-context-negative`	negative	`not-reached`	true-negative	`a727ea9c742a…`
`call-context-separation`	`dfb-taint-python-call-context-positive`	positive	`reached`	true-positive	`b08a667e8c12…`
`direct-propagation`	`dfb-taint-python-direct-negative`	negative	`not-reached`	true-negative	`8a5c016b42b8…`
`direct-propagation`	`dfb-taint-python-direct-positive`	positive	`reached`	true-positive	`8c6f7936a826…`
`exception-catch`	`dfb-taint-python-exception-catch-negative`	negative	`not-reached`	true-negative	`defc9b7aba59…`
`exception-catch`	`dfb-taint-python-exception-catch-positive`	positive	`reached`	true-positive	`38de4921d194…`
`infeasible-branch`	`dfb-taint-python-infeasible-branch-negative`	negative	`not-reached`	true-negative	`7881079a5318…`
`infeasible-branch`	`dfb-taint-python-infeasible-branch-positive`	positive	`reached`	true-positive	`077c21222e82…`
`local-multi-step-chain`	`dfb-taint-python-local-chain-negative`	negative	`not-reached`	true-negative	`1ad20f2e3215…`
`local-multi-step-chain`	`dfb-taint-python-local-chain-positive`	positive	`reached`	true-positive	`c5b1b9a4d04c…`
`local-overwrite-kill`	`dfb-taint-python-local-overwrite-negative`	negative	`not-reached`	true-negative	`934daefee5ea…`
`local-overwrite-kill`	`dfb-taint-python-local-overwrite-positive`	positive	`reached`	true-positive	`1254b64dbf6f…`
`loop-carried-kill`	`dfb-taint-python-loop-carried-negative`	negative	`not-reached`	true-negative	`085f79bba442…`
`loop-carried-kill`	`dfb-taint-python-loop-carried-positive`	positive	`reached`	true-positive	`3df643b9c920…`
`object-separation`	`dfb-taint-python-object-separation-negative`	negative	`not-reached`	true-negative	`9c4945a9f481…`
`object-separation`	`dfb-taint-python-object-separation-positive`	positive	`reached`	true-positive	`dc3f087a6a1d…`
`return-relay-one-hop`	`dfb-taint-python-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`e349c14988e0…`
`return-relay-one-hop`	`dfb-taint-python-return-relay-one-hop-positive`	positive	`reached`	true-positive	`e52e0551e630…`
`return-relay-two-hop`	`dfb-taint-python-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`875a2ff61238…`
`return-relay-two-hop`	`dfb-taint-python-return-relay-two-hop-positive`	positive	`reached`	true-positive	`4f78ab83e123…`
`same-object-field-separation`	`dfb-taint-python-same-object-field-negative`	negative	`not-reached`	true-negative	`1fa19c6509a8…`
`same-object-field-separation`	`dfb-taint-python-same-object-field-positive`	positive	`reached`	true-positive	`d4dac3f4bf35…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `ruby`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-ruby-direct-negative`	negative	`inconclusive`	inconclusive	`8945c1ce3601…`
`direct-propagation`	`dfb-taint-ruby-direct-positive`	positive	`inconclusive`	inconclusive	`f618f7676f6d…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `rust`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-rust-direct-negative`	negative	`not-reached`	true-negative	`e62ebdbbe5c7…`
`direct-propagation`	`dfb-taint-rust-direct-positive`	positive	`reached`	true-positive	`7055fb7b58ad…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `scala`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-scala-direct-negative`	negative	`not-reached`	true-negative	`37f1e43c2698…`
`direct-propagation`	`dfb-taint-scala-direct-positive`	positive	`reached`	true-positive	`7b3f11f912db…`

`bifrost-smoke-taint-taint-benchmark-controlled` — `typescript`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`direct-propagation`	`dfb-taint-typescript-direct-negative`	negative	`not-reached`	true-negative	`52261a719ef3…`
`direct-propagation`	`dfb-taint-typescript-direct-positive`	positive	`reached`	true-positive	`197f0840deb7…`

`bifrost-typescript-kernel-taint-taint-benchmark-controlled` — `typescript`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-typescript-alias-propagation-negative`	negative	`not-reached`	true-negative	`6187b10110e7…`
`alias-propagation-separation`	`dfb-taint-typescript-alias-propagation-positive`	positive	`reached`	true-positive	`835086dd8657…`
`argument-position-separation`	`dfb-taint-typescript-argument-position-negative`	negative	`not-reached`	true-negative	`85c4163955f9…`
`argument-position-separation`	`dfb-taint-typescript-argument-position-positive`	positive	`reached`	true-positive	`cf6e0e957df1…`
`arithmetic-expression-propagation`	`dfb-taint-typescript-expression-negative`	negative	`not-reached`	true-negative	`6ab2d698a7a0…`
`arithmetic-expression-propagation`	`dfb-taint-typescript-expression-positive`	positive	`reached`	true-positive	`d942311573fa…`
`array-element-separation`	`dfb-taint-typescript-array-element-negative`	negative	`not-reached`	true-negative	`e2d8788b3b9d…`
`array-element-separation`	`dfb-taint-typescript-array-element-positive`	positive	`reached`	true-positive	`b0ed4af2daa2…`
`branch-join`	`dfb-taint-typescript-branch-join-negative`	negative	`not-reached`	true-negative	`7f3e3ecafbd9…`
`branch-join`	`dfb-taint-typescript-branch-join-positive`	positive	`reached`	true-positive	`62b47d9d53a0…`
`call-context-separation`	`dfb-taint-typescript-call-context-negative`	negative	`not-reached`	true-negative	`94c02ace6288…`
`call-context-separation`	`dfb-taint-typescript-call-context-positive`	positive	`reached`	true-positive	`3093efc766bd…`
`direct-propagation`	`dfb-taint-typescript-direct-negative`	negative	`not-reached`	true-negative	`52261a719ef3…`
`direct-propagation`	`dfb-taint-typescript-direct-positive`	positive	`reached`	true-positive	`197f0840deb7…`
`exception-catch`	`dfb-taint-typescript-exception-catch-negative`	negative	`inconclusive`	inconclusive	`735deb17149a…`
`exception-catch`	`dfb-taint-typescript-exception-catch-positive`	positive	`inconclusive`	inconclusive	`bb2059f02964…`
`infeasible-branch`	`dfb-taint-typescript-infeasible-branch-negative`	negative	`not-reached`	true-negative	`f7d4817b5274…`
`infeasible-branch`	`dfb-taint-typescript-infeasible-branch-positive`	positive	`reached`	true-positive	`a58f7849a556…`
`local-multi-step-chain`	`dfb-taint-typescript-local-chain-negative`	negative	`not-reached`	true-negative	`fcefb5761d21…`
`local-multi-step-chain`	`dfb-taint-typescript-local-chain-positive`	positive	`reached`	true-positive	`775ba189a50a…`
`local-overwrite-kill`	`dfb-taint-typescript-local-overwrite-negative`	negative	`not-reached`	true-negative	`56b01020fad7…`
`local-overwrite-kill`	`dfb-taint-typescript-local-overwrite-positive`	positive	`reached`	true-positive	`4bbd5a7ab7a9…`
`loop-carried-kill`	`dfb-taint-typescript-loop-carried-negative`	negative	`not-reached`	true-negative	`8cac9644ad11…`
`loop-carried-kill`	`dfb-taint-typescript-loop-carried-positive`	positive	`reached`	true-positive	`a6172aecda47…`
`object-separation`	`dfb-taint-typescript-object-separation-negative`	negative	`not-reached`	true-negative	`affbcb72e5fd…`
`object-separation`	`dfb-taint-typescript-object-separation-positive`	positive	`reached`	true-positive	`5f8dfd939502…`
`return-relay-one-hop`	`dfb-taint-typescript-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`1a296a6efcf7…`
`return-relay-one-hop`	`dfb-taint-typescript-return-relay-one-hop-positive`	positive	`reached`	true-positive	`fd460ae12c14…`
`return-relay-two-hop`	`dfb-taint-typescript-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`82250e30a426…`
`return-relay-two-hop`	`dfb-taint-typescript-return-relay-two-hop-positive`	positive	`reached`	true-positive	`9f1795a1a008…`
`same-object-field-separation`	`dfb-taint-typescript-same-object-field-negative`	negative	`not-reached`	true-negative	`63398359445e…`
`same-object-field-separation`	`dfb-taint-typescript-same-object-field-positive`	positive	`reached`	true-positive	`e5f102da9a2c…`

`codeql-c-kernel-taint-taint-benchmark-controlled` — `c`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-c-alias-propagation-negative`	negative	`not-reached`	true-negative	`4ef0923534db…`
`alias-propagation-separation`	`dfb-taint-c-alias-propagation-positive`	positive	`not-reached`	false-negative	`9c18ea00d31e…`
`argument-position-separation`	`dfb-taint-c-argument-position-negative`	negative	`not-reached`	true-negative	`39d115d74a56…`
`argument-position-separation`	`dfb-taint-c-argument-position-positive`	positive	`reached`	true-positive	`21ff40e6b3f5…`
`arithmetic-expression-propagation`	`dfb-taint-c-expression-negative`	negative	`not-reached`	true-negative	`b9e11aba583e…`
`arithmetic-expression-propagation`	`dfb-taint-c-expression-positive`	positive	`reached`	true-positive	`f04aa6429074…`
`array-element-separation`	`dfb-taint-c-array-element-negative`	negative	`reached`	false-positive	`10586a2e98af…`
`array-element-separation`	`dfb-taint-c-array-element-positive`	positive	`reached`	true-positive	`7b05c88d956c…`
`branch-join`	`dfb-taint-c-branch-join-negative`	negative	`not-reached`	true-negative	`62a6ed515084…`
`branch-join`	`dfb-taint-c-branch-join-positive`	positive	`reached`	true-positive	`94aa05c96e36…`
`call-context-separation`	`dfb-taint-c-call-context-negative`	negative	`not-reached`	true-negative	`7a0408a8a477…`
`call-context-separation`	`dfb-taint-c-call-context-positive`	positive	`reached`	true-positive	`1b549cbcacae…`
`direct-propagation`	`dfb-taint-c-direct-negative`	negative	`not-reached`	true-negative	`baef9960a7fa…`
`direct-propagation`	`dfb-taint-c-direct-positive`	positive	`reached`	true-positive	`630618bd498d…`
`infeasible-branch`	`dfb-taint-c-infeasible-branch-negative`	negative	`not-reached`	true-negative	`c06beeb9c44e…`
`infeasible-branch`	`dfb-taint-c-infeasible-branch-positive`	positive	`reached`	true-positive	`6cbf4fdd7b3b…`
`local-multi-step-chain`	`dfb-taint-c-local-chain-negative`	negative	`not-reached`	true-negative	`6b50f04bce75…`
`local-multi-step-chain`	`dfb-taint-c-local-chain-positive`	positive	`reached`	true-positive	`55516ecc94f5…`
`local-overwrite-kill`	`dfb-taint-c-local-overwrite-negative`	negative	`not-reached`	true-negative	`c9e9202e8281…`
`local-overwrite-kill`	`dfb-taint-c-local-overwrite-positive`	positive	`reached`	true-positive	`8a0a714c0783…`
`loop-carried-kill`	`dfb-taint-c-loop-carried-negative`	negative	`reached`	false-positive	`2c349f5cc49d…`
`loop-carried-kill`	`dfb-taint-c-loop-carried-positive`	positive	`reached`	true-positive	`d52b3b903800…`
`object-separation`	`dfb-taint-c-object-separation-negative`	negative	`not-reached`	true-negative	`da237d620165…`
`object-separation`	`dfb-taint-c-object-separation-positive`	positive	`reached`	true-positive	`862789b6688f…`
`return-relay-one-hop`	`dfb-taint-c-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`116a127912df…`
`return-relay-one-hop`	`dfb-taint-c-return-relay-one-hop-positive`	positive	`reached`	true-positive	`c80c489aabbb…`
`return-relay-two-hop`	`dfb-taint-c-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`7baf05497718…`
`return-relay-two-hop`	`dfb-taint-c-return-relay-two-hop-positive`	positive	`reached`	true-positive	`6e9e5615a316…`
`same-object-field-separation`	`dfb-taint-c-same-object-field-negative`	negative	`not-reached`	true-negative	`853413d8b978…`
`same-object-field-separation`	`dfb-taint-c-same-object-field-positive`	positive	`reached`	true-positive	`9be0ec3c6300…`

`codeql-c-kernel-taint-taint-benchmark-controlled` — `c`, language-extension

Template	Case	Polarity	Outcome	Classification	Raw evidence
`c-error-code-return-path`	`dfb-taint-c-error-code-return-positive`	positive	`reached`	true-positive	`cf80c40f54a3…`
`c-goto-cleanup-carry`	`dfb-taint-c-goto-cleanup-positive`	positive	`reached`	true-positive	`400a87ebfd41…`

`codeql-cpp-kernel-taint-taint-benchmark-controlled` — `cpp`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-cpp-alias-propagation-negative`	negative	`not-reached`	true-negative	`1dd53c121ba3…`
`alias-propagation-separation`	`dfb-taint-cpp-alias-propagation-positive`	positive	`not-reached`	false-negative	`2a86cd6b6b5c…`
`argument-position-separation`	`dfb-taint-cpp-argument-position-negative`	negative	`not-reached`	true-negative	`0fb1f434a17d…`
`argument-position-separation`	`dfb-taint-cpp-argument-position-positive`	positive	`reached`	true-positive	`929d734e3849…`
`arithmetic-expression-propagation`	`dfb-taint-cpp-expression-negative`	negative	`not-reached`	true-negative	`c48bafe5a17a…`
`arithmetic-expression-propagation`	`dfb-taint-cpp-expression-positive`	positive	`reached`	true-positive	`a799ea7a4ba3…`
`array-element-separation`	`dfb-taint-cpp-array-element-negative`	negative	`reached`	false-positive	`2ff11e966927…`
`array-element-separation`	`dfb-taint-cpp-array-element-positive`	positive	`reached`	true-positive	`02265e214897…`
`branch-join`	`dfb-taint-cpp-branch-join-negative`	negative	`not-reached`	true-negative	`672919850fb6…`
`branch-join`	`dfb-taint-cpp-branch-join-positive`	positive	`reached`	true-positive	`37eebf09948e…`
`call-context-separation`	`dfb-taint-cpp-call-context-negative`	negative	`not-reached`	true-negative	`a5225fbcdfee…`
`call-context-separation`	`dfb-taint-cpp-call-context-positive`	positive	`reached`	true-positive	`02936aab24e8…`
`direct-propagation`	`dfb-taint-cpp-direct-negative`	negative	`not-reached`	true-negative	`de0dfcff0b4d…`
`direct-propagation`	`dfb-taint-cpp-direct-positive`	positive	`reached`	true-positive	`4897c9ea57ab…`
`exception-catch`	`dfb-taint-cpp-exception-catch-negative`	negative	`not-reached`	true-negative	`b873a86e8220…`
`exception-catch`	`dfb-taint-cpp-exception-catch-positive`	positive	`not-reached`	false-negative	`a2b722ff9214…`
`infeasible-branch`	`dfb-taint-cpp-infeasible-branch-negative`	negative	`not-reached`	true-negative	`b73fb34c6d0c…`
`infeasible-branch`	`dfb-taint-cpp-infeasible-branch-positive`	positive	`reached`	true-positive	`a755824e710f…`
`local-multi-step-chain`	`dfb-taint-cpp-local-chain-negative`	negative	`not-reached`	true-negative	`8836cb26757e…`
`local-multi-step-chain`	`dfb-taint-cpp-local-chain-positive`	positive	`reached`	true-positive	`ca145eee9f99…`
`local-overwrite-kill`	`dfb-taint-cpp-local-overwrite-negative`	negative	`not-reached`	true-negative	`42c368f48b56…`
`local-overwrite-kill`	`dfb-taint-cpp-local-overwrite-positive`	positive	`reached`	true-positive	`0d9cc9920615…`
`loop-carried-kill`	`dfb-taint-cpp-loop-carried-negative`	negative	`reached`	false-positive	`4612d6059573…`
`loop-carried-kill`	`dfb-taint-cpp-loop-carried-positive`	positive	`reached`	true-positive	`1f89b97044a4…`
`object-separation`	`dfb-taint-cpp-object-separation-negative`	negative	`not-reached`	true-negative	`75724823bcef…`
`object-separation`	`dfb-taint-cpp-object-separation-positive`	positive	`reached`	true-positive	`b296f48bebe7…`
`return-relay-one-hop`	`dfb-taint-cpp-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`f3a47dbf212c…`
`return-relay-one-hop`	`dfb-taint-cpp-return-relay-one-hop-positive`	positive	`reached`	true-positive	`ac55470f5e43…`
`return-relay-two-hop`	`dfb-taint-cpp-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`0fca54ace5fb…`
`return-relay-two-hop`	`dfb-taint-cpp-return-relay-two-hop-positive`	positive	`reached`	true-positive	`9c81e2e2ee95…`
`same-object-field-separation`	`dfb-taint-cpp-same-object-field-negative`	negative	`not-reached`	true-negative	`cf468298d191…`
`same-object-field-separation`	`dfb-taint-cpp-same-object-field-positive`	positive	`reached`	true-positive	`db26ae02787b…`

`codeql-csharp-kernel-taint-taint-benchmark-controlled` — `csharp`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-csharp-alias-propagation-negative`	negative	`not-reached`	true-negative	`6c17ba6beda9…`
`alias-propagation-separation`	`dfb-taint-csharp-alias-propagation-positive`	positive	`not-reached`	false-negative	`5de0dc0d09ca…`
`argument-position-separation`	`dfb-taint-csharp-argument-position-negative`	negative	`not-reached`	true-negative	`1250512b9fe4…`
`argument-position-separation`	`dfb-taint-csharp-argument-position-positive`	positive	`reached`	true-positive	`a4fd9c34402c…`
`arithmetic-expression-propagation`	`dfb-taint-csharp-expression-negative`	negative	`not-reached`	true-negative	`e991cb36f7bf…`
`arithmetic-expression-propagation`	`dfb-taint-csharp-expression-positive`	positive	`not-reached`	false-negative	`ac86b9f5f0ac…`
`array-element-separation`	`dfb-taint-csharp-array-element-negative`	negative	`reached`	false-positive	`02c5c1edd2bd…`
`array-element-separation`	`dfb-taint-csharp-array-element-positive`	positive	`reached`	true-positive	`2a583681038b…`
`branch-join`	`dfb-taint-csharp-branch-join-negative`	negative	`not-reached`	true-negative	`a314dacb102b…`
`branch-join`	`dfb-taint-csharp-branch-join-positive`	positive	`reached`	true-positive	`48d4a1318f49…`
`call-context-separation`	`dfb-taint-csharp-call-context-negative`	negative	`not-reached`	true-negative	`1f89138a048b…`
`call-context-separation`	`dfb-taint-csharp-call-context-positive`	positive	`reached`	true-positive	`51bb1dc7b4dc…`
`direct-propagation`	`dfb-taint-csharp-direct-negative`	negative	`not-reached`	true-negative	`c5faf35d61c1…`
`direct-propagation`	`dfb-taint-csharp-direct-positive`	positive	`reached`	true-positive	`4844745b082c…`
`exception-catch`	`dfb-taint-csharp-exception-catch-negative`	negative	`not-reached`	true-negative	`173d331f22a6…`
`exception-catch`	`dfb-taint-csharp-exception-catch-positive`	positive	`not-reached`	false-negative	`6485f0cef7d5…`
`infeasible-branch`	`dfb-taint-csharp-infeasible-branch-negative`	negative	`not-reached`	true-negative	`d8dd9f4e085b…`
`infeasible-branch`	`dfb-taint-csharp-infeasible-branch-positive`	positive	`reached`	true-positive	`6253ddf52f04…`
`local-multi-step-chain`	`dfb-taint-csharp-local-chain-negative`	negative	`not-reached`	true-negative	`5b6bf9acc0e0…`
`local-multi-step-chain`	`dfb-taint-csharp-local-chain-positive`	positive	`reached`	true-positive	`cd7eb03d18fe…`
`local-overwrite-kill`	`dfb-taint-csharp-local-overwrite-negative`	negative	`not-reached`	true-negative	`8462e9a154dd…`
`local-overwrite-kill`	`dfb-taint-csharp-local-overwrite-positive`	positive	`reached`	true-positive	`67f3acd9ac88…`
`loop-carried-kill`	`dfb-taint-csharp-loop-carried-negative`	negative	`reached`	false-positive	`91685cc42714…`
`loop-carried-kill`	`dfb-taint-csharp-loop-carried-positive`	positive	`reached`	true-positive	`96d7fbed9c77…`
`object-separation`	`dfb-taint-csharp-object-separation-negative`	negative	`not-reached`	true-negative	`52d59536e35f…`
`object-separation`	`dfb-taint-csharp-object-separation-positive`	positive	`reached`	true-positive	`2942ee5c2613…`
`return-relay-one-hop`	`dfb-taint-csharp-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`7ee5a0a4cef0…`
`return-relay-one-hop`	`dfb-taint-csharp-return-relay-one-hop-positive`	positive	`reached`	true-positive	`46f5dee43336…`
`return-relay-two-hop`	`dfb-taint-csharp-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`40f8d2530bb1…`
`return-relay-two-hop`	`dfb-taint-csharp-return-relay-two-hop-positive`	positive	`reached`	true-positive	`1d5914028210…`
`same-object-field-separation`	`dfb-taint-csharp-same-object-field-negative`	negative	`not-reached`	true-negative	`9b9894b95e47…`
`same-object-field-separation`	`dfb-taint-csharp-same-object-field-positive`	positive	`reached`	true-positive	`2470a229011a…`

`codeql-go-kernel-taint-taint-benchmark-controlled` — `go`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-go-alias-propagation-negative`	negative	`not-reached`	true-negative	`f114d1114bdd…`
`alias-propagation-separation`	`dfb-taint-go-alias-propagation-positive`	positive	`not-reached`	false-negative	`b97f95a3cfe2…`
`argument-position-separation`	`dfb-taint-go-argument-position-negative`	negative	`not-reached`	true-negative	`8a1b79a207c8…`
`argument-position-separation`	`dfb-taint-go-argument-position-positive`	positive	`reached`	true-positive	`c7aa314168cb…`
`arithmetic-expression-propagation`	`dfb-taint-go-expression-negative`	negative	`not-reached`	true-negative	`3d02cb14807f…`
`arithmetic-expression-propagation`	`dfb-taint-go-expression-positive`	positive	`not-reached`	false-negative	`ec569869b6b7…`
`array-element-separation`	`dfb-taint-go-array-element-negative`	negative	`reached`	false-positive	`dcda5ca4964e…`
`array-element-separation`	`dfb-taint-go-array-element-positive`	positive	`reached`	true-positive	`9b35fb4299c7…`
`branch-join`	`dfb-taint-go-branch-join-negative`	negative	`not-reached`	true-negative	`81d914dc1573…`
`branch-join`	`dfb-taint-go-branch-join-positive`	positive	`reached`	true-positive	`c21da578dbc5…`
`call-context-separation`	`dfb-taint-go-call-context-negative`	negative	`not-reached`	true-negative	`e6e6ff29ca98…`
`call-context-separation`	`dfb-taint-go-call-context-positive`	positive	`reached`	true-positive	`aeb4f0976b97…`
`direct-propagation`	`dfb-taint-go-direct-negative`	negative	`not-reached`	true-negative	`644e5e6fd24a…`
`direct-propagation`	`dfb-taint-go-direct-positive`	positive	`reached`	true-positive	`eb3e0de388c5…`
`exception-catch`	`dfb-taint-go-exception-catch-negative`	negative	`not-reached`	true-negative	`521d7e43304b…`
`exception-catch`	`dfb-taint-go-exception-catch-positive`	positive	`not-reached`	false-negative	`28cf1c3d3739…`
`infeasible-branch`	`dfb-taint-go-infeasible-branch-negative`	negative	`reached`	false-positive	`820b0ecb2e37…`
`infeasible-branch`	`dfb-taint-go-infeasible-branch-positive`	positive	`reached`	true-positive	`d1b22ac2f78b…`
`local-multi-step-chain`	`dfb-taint-go-local-chain-negative`	negative	`not-reached`	true-negative	`56a0c0a16f09…`
`local-multi-step-chain`	`dfb-taint-go-local-chain-positive`	positive	`reached`	true-positive	`a981362f1edd…`
`local-overwrite-kill`	`dfb-taint-go-local-overwrite-negative`	negative	`not-reached`	true-negative	`7fda5478bc73…`
`local-overwrite-kill`	`dfb-taint-go-local-overwrite-positive`	positive	`reached`	true-positive	`7050daad753b…`
`loop-carried-kill`	`dfb-taint-go-loop-carried-negative`	negative	`reached`	false-positive	`ef6b2f6d67e9…`
`loop-carried-kill`	`dfb-taint-go-loop-carried-positive`	positive	`reached`	true-positive	`8af52388d400…`
`object-separation`	`dfb-taint-go-object-separation-negative`	negative	`not-reached`	true-negative	`61db81aac40d…`
`object-separation`	`dfb-taint-go-object-separation-positive`	positive	`reached`	true-positive	`650cd5d0cab1…`
`return-relay-one-hop`	`dfb-taint-go-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`0b3142d2cdd9…`
`return-relay-one-hop`	`dfb-taint-go-return-relay-one-hop-positive`	positive	`reached`	true-positive	`5fb9bcec2591…`
`return-relay-two-hop`	`dfb-taint-go-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`aa9e1f6755f9…`
`return-relay-two-hop`	`dfb-taint-go-return-relay-two-hop-positive`	positive	`reached`	true-positive	`438eaa97de54…`
`same-object-field-separation`	`dfb-taint-go-same-object-field-negative`	negative	`not-reached`	true-negative	`f572bf939c96…`
`same-object-field-separation`	`dfb-taint-go-same-object-field-positive`	positive	`reached`	true-positive	`e0ba27f9704a…`

`codeql-java-kernel-taint-taint-benchmark-controlled` — `java`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-java-alias-propagation-negative`	negative	`not-reached`	true-negative	`28f43a278798…`
`alias-propagation-separation`	`dfb-taint-java-alias-propagation-positive`	positive	`not-reached`	false-negative	`7f3761d945ee…`
`argument-position-separation`	`dfb-taint-java-argument-position-negative`	negative	`not-reached`	true-negative	`7019b5c3edb6…`
`argument-position-separation`	`dfb-taint-java-argument-position-positive`	positive	`reached`	true-positive	`80f30272d988…`
`arithmetic-expression-propagation`	`dfb-taint-java-expression-negative`	negative	`not-reached`	true-negative	`37e9bbf14987…`
`arithmetic-expression-propagation`	`dfb-taint-java-expression-positive`	positive	`not-reached`	false-negative	`e6b95954434e…`
`array-element-separation`	`dfb-taint-java-array-element-negative`	negative	`reached`	false-positive	`6e19cc6c546b…`
`array-element-separation`	`dfb-taint-java-array-element-positive`	positive	`reached`	true-positive	`2333053c1ca2…`
`branch-join`	`dfb-taint-java-branch-join-negative`	negative	`not-reached`	true-negative	`557aeb836690…`
`branch-join`	`dfb-taint-java-branch-join-positive`	positive	`reached`	true-positive	`132b2b327877…`
`call-context-separation`	`dfb-taint-java-call-context-negative`	negative	`not-reached`	true-negative	`17153510a621…`
`call-context-separation`	`dfb-taint-java-call-context-positive`	positive	`reached`	true-positive	`8d175522c3e1…`
`direct-propagation`	`dfb-taint-java-direct-positive`	positive	`reached`	true-positive	`a420f50c97c5…`
`direct-propagation`	`dfb-taint-java-explicit-negative`	negative	`not-reached`	true-negative	`3b775fe12561…`
`exception-catch`	`dfb-taint-java-exception-catch-negative`	negative	`not-reached`	true-negative	`c6be78d470c7…`
`exception-catch`	`dfb-taint-java-exception-catch-positive`	positive	`not-reached`	false-negative	`89e0f5f1bf06…`
`infeasible-branch`	`dfb-taint-java-infeasible-branch-negative`	negative	`not-reached`	true-negative	`fc25c08df63d…`
`infeasible-branch`	`dfb-taint-java-infeasible-branch-positive`	positive	`reached`	true-positive	`bdb6037969d7…`
`local-multi-step-chain`	`dfb-taint-java-local-chain-negative`	negative	`not-reached`	true-negative	`d05bea61ad5f…`
`local-multi-step-chain`	`dfb-taint-java-local-chain-positive`	positive	`reached`	true-positive	`dfef41ccd505…`
`local-overwrite-kill`	`dfb-taint-java-local-overwrite-negative`	negative	`not-reached`	true-negative	`1171218eeda0…`
`local-overwrite-kill`	`dfb-taint-java-local-overwrite-positive`	positive	`reached`	true-positive	`e1c8a42eb00c…`
`loop-carried-kill`	`dfb-taint-java-loop-carried-negative`	negative	`reached`	false-positive	`3b5348dcfca6…`
`loop-carried-kill`	`dfb-taint-java-loop-carried-positive`	positive	`reached`	true-positive	`d1c269c9b0f0…`
`object-separation`	`dfb-taint-java-object-separation-negative`	negative	`not-reached`	true-negative	`62cef98286f4…`
`object-separation`	`dfb-taint-java-object-separation-positive`	positive	`reached`	true-positive	`d416accd5cc8…`
`return-relay-one-hop`	`dfb-taint-java-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`cab339916735…`
`return-relay-one-hop`	`dfb-taint-java-return-relay-one-hop-positive`	positive	`reached`	true-positive	`6ff5902882e5…`
`return-relay-two-hop`	`dfb-taint-java-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`383c3613c53f…`
`return-relay-two-hop`	`dfb-taint-java-return-relay-two-hop-positive`	positive	`reached`	true-positive	`b84c311b4741…`
`same-object-field-separation`	`dfb-taint-java-same-object-field-negative`	negative	`not-reached`	true-negative	`ab39f3dec21b…`
`same-object-field-separation`	`dfb-taint-java-same-object-field-positive`	positive	`reached`	true-positive	`61b86618f9d7…`

`codeql-javascript-kernel-taint-taint-benchmark-controlled` — `javascript`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-javascript-alias-propagation-negative`	negative	`not-reached`	true-negative	`c7eec0da171e…`
`alias-propagation-separation`	`dfb-taint-javascript-alias-propagation-positive`	positive	`not-reached`	false-negative	`301986352c49…`
`argument-position-separation`	`dfb-taint-javascript-argument-position-negative`	negative	`not-reached`	true-negative	`e11badd88e16…`
`argument-position-separation`	`dfb-taint-javascript-argument-position-positive`	positive	`reached`	true-positive	`3dd7933b33a6…`
`arithmetic-expression-propagation`	`dfb-taint-javascript-expression-negative`	negative	`not-reached`	true-negative	`de8a3e82aa6f…`
`arithmetic-expression-propagation`	`dfb-taint-javascript-expression-positive`	positive	`not-reached`	false-negative	`5d3921f2a0c8…`
`array-element-separation`	`dfb-taint-javascript-array-element-negative`	negative	`not-reached`	true-negative	`0112649dbd46…`
`array-element-separation`	`dfb-taint-javascript-array-element-positive`	positive	`reached`	true-positive	`860ff8a89514…`
`branch-join`	`dfb-taint-javascript-branch-join-negative`	negative	`not-reached`	true-negative	`06e95594451b…`
`branch-join`	`dfb-taint-javascript-branch-join-positive`	positive	`reached`	true-positive	`b8a53b707e4f…`
`call-context-separation`	`dfb-taint-javascript-call-context-negative`	negative	`not-reached`	true-negative	`aaea1a9ef8d4…`
`call-context-separation`	`dfb-taint-javascript-call-context-positive`	positive	`reached`	true-positive	`ba5bc58fdd31…`
`direct-propagation`	`dfb-taint-javascript-direct-negative`	negative	`not-reached`	true-negative	`651d09866566…`
`direct-propagation`	`dfb-taint-javascript-direct-positive`	positive	`reached`	true-positive	`a387e40bd776…`
`exception-catch`	`dfb-taint-javascript-exception-catch-negative`	negative	`not-reached`	true-negative	`5f91373001bc…`
`exception-catch`	`dfb-taint-javascript-exception-catch-positive`	positive	`reached`	true-positive	`ef9d458e2658…`
`infeasible-branch`	`dfb-taint-javascript-infeasible-branch-negative`	negative	`not-reached`	true-negative	`cf59f41617ab…`
`infeasible-branch`	`dfb-taint-javascript-infeasible-branch-positive`	positive	`reached`	true-positive	`b4561fe03dfe…`
`local-multi-step-chain`	`dfb-taint-javascript-local-chain-negative`	negative	`not-reached`	true-negative	`063d81a38f67…`
`local-multi-step-chain`	`dfb-taint-javascript-local-chain-positive`	positive	`reached`	true-positive	`c271b0a9b9c7…`
`local-overwrite-kill`	`dfb-taint-javascript-local-overwrite-negative`	negative	`not-reached`	true-negative	`227d28fd2a50…`
`local-overwrite-kill`	`dfb-taint-javascript-local-overwrite-positive`	positive	`reached`	true-positive	`c3fa3e5a4bb1…`
`loop-carried-kill`	`dfb-taint-javascript-loop-carried-negative`	negative	`reached`	false-positive	`b6989e186d07…`
`loop-carried-kill`	`dfb-taint-javascript-loop-carried-positive`	positive	`reached`	true-positive	`e426ebe306ac…`
`object-separation`	`dfb-taint-javascript-object-separation-negative`	negative	`not-reached`	true-negative	`6f59e86cac7c…`
`object-separation`	`dfb-taint-javascript-object-separation-positive`	positive	`reached`	true-positive	`501cb0b97bd5…`
`return-relay-one-hop`	`dfb-taint-javascript-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`809a6ec53de2…`
`return-relay-one-hop`	`dfb-taint-javascript-return-relay-one-hop-positive`	positive	`reached`	true-positive	`14ee7e51beb0…`
`return-relay-two-hop`	`dfb-taint-javascript-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`e2eedd528cb4…`
`return-relay-two-hop`	`dfb-taint-javascript-return-relay-two-hop-positive`	positive	`reached`	true-positive	`e2c42429fbed…`
`same-object-field-separation`	`dfb-taint-javascript-same-object-field-negative`	negative	`not-reached`	true-negative	`5763001503b4…`
`same-object-field-separation`	`dfb-taint-javascript-same-object-field-positive`	positive	`reached`	true-positive	`2e06a384ea9c…`

`codeql-kotlin-kernel-taint-taint-benchmark-controlled` — `kotlin`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-kotlin-alias-propagation-negative`	negative	`not-reached`	true-negative	`ff7f5f7a1e0a…`
`alias-propagation-separation`	`dfb-taint-kotlin-alias-propagation-positive`	positive	`not-reached`	false-negative	`1ef08aa5813e…`
`argument-position-separation`	`dfb-taint-kotlin-argument-position-negative`	negative	`not-reached`	true-negative	`7352eb69bd7d…`
`argument-position-separation`	`dfb-taint-kotlin-argument-position-positive`	positive	`reached`	true-positive	`f38e7e81d953…`
`arithmetic-expression-propagation`	`dfb-taint-kotlin-expression-negative`	negative	`not-reached`	true-negative	`d2b0bcb97af7…`
`arithmetic-expression-propagation`	`dfb-taint-kotlin-expression-positive`	positive	`not-reached`	false-negative	`b894a1f642c6…`
`array-element-separation`	`dfb-taint-kotlin-array-element-negative`	negative	`reached`	false-positive	`b2a9d9bb07cd…`
`array-element-separation`	`dfb-taint-kotlin-array-element-positive`	positive	`reached`	true-positive	`79a68bb08b3c…`
`branch-join`	`dfb-taint-kotlin-branch-join-negative`	negative	`not-reached`	true-negative	`bedc96922d46…`
`branch-join`	`dfb-taint-kotlin-branch-join-positive`	positive	`reached`	true-positive	`3db8d10636ca…`
`call-context-separation`	`dfb-taint-kotlin-call-context-negative`	negative	`not-reached`	true-negative	`6ad54ef229a2…`
`call-context-separation`	`dfb-taint-kotlin-call-context-positive`	positive	`reached`	true-positive	`87ad1b348e37…`
`direct-propagation`	`dfb-taint-kotlin-direct-negative`	negative	`not-reached`	true-negative	`f492baf3e3e7…`
`direct-propagation`	`dfb-taint-kotlin-direct-positive`	positive	`reached`	true-positive	`d68479489958…`
`exception-catch`	`dfb-taint-kotlin-exception-catch-negative`	negative	`not-reached`	true-negative	`fce991d46927…`
`exception-catch`	`dfb-taint-kotlin-exception-catch-positive`	positive	`not-reached`	false-negative	`7c6548495556…`
`infeasible-branch`	`dfb-taint-kotlin-infeasible-branch-negative`	negative	`not-reached`	true-negative	`5a6826a59763…`
`infeasible-branch`	`dfb-taint-kotlin-infeasible-branch-positive`	positive	`reached`	true-positive	`f6ac2f4af1f2…`
`local-multi-step-chain`	`dfb-taint-kotlin-local-chain-negative`	negative	`not-reached`	true-negative	`20f6ba5f0af9…`
`local-multi-step-chain`	`dfb-taint-kotlin-local-chain-positive`	positive	`reached`	true-positive	`ab0c32b814f4…`
`local-overwrite-kill`	`dfb-taint-kotlin-local-overwrite-negative`	negative	`not-reached`	true-negative	`965c71570d2d…`
`local-overwrite-kill`	`dfb-taint-kotlin-local-overwrite-positive`	positive	`reached`	true-positive	`580ba5e43bbf…`
`loop-carried-kill`	`dfb-taint-kotlin-loop-carried-negative`	negative	`reached`	false-positive	`ad8b04453845…`
`loop-carried-kill`	`dfb-taint-kotlin-loop-carried-positive`	positive	`reached`	true-positive	`cc0d60d9aebc…`
`object-separation`	`dfb-taint-kotlin-object-separation-negative`	negative	`not-reached`	true-negative	`beba22378abb…`
`object-separation`	`dfb-taint-kotlin-object-separation-positive`	positive	`reached`	true-positive	`7429d724b40d…`
`return-relay-one-hop`	`dfb-taint-kotlin-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`1912bb615a5e…`
`return-relay-one-hop`	`dfb-taint-kotlin-return-relay-one-hop-positive`	positive	`reached`	true-positive	`8099755e4b9d…`
`return-relay-two-hop`	`dfb-taint-kotlin-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`aaa19b675000…`
`return-relay-two-hop`	`dfb-taint-kotlin-return-relay-two-hop-positive`	positive	`reached`	true-positive	`69ebfa64fb58…`
`same-object-field-separation`	`dfb-taint-kotlin-same-object-field-negative`	negative	`not-reached`	true-negative	`854232030a53…`
`same-object-field-separation`	`dfb-taint-kotlin-same-object-field-positive`	positive	`reached`	true-positive	`b9612f3f0bb0…`

`codeql-python-kernel-taint-taint-benchmark-controlled` — `python`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-python-alias-propagation-negative`	negative	`not-reached`	true-negative	`af93d1a04d85…`
`alias-propagation-separation`	`dfb-taint-python-alias-propagation-positive`	positive	`not-reached`	false-negative	`724ea082bc6b…`
`argument-position-separation`	`dfb-taint-python-argument-position-negative`	negative	`not-reached`	true-negative	`1b7127a680a6…`
`argument-position-separation`	`dfb-taint-python-argument-position-positive`	positive	`reached`	true-positive	`f1b743b4abd8…`
`arithmetic-expression-propagation`	`dfb-taint-python-arithmetic-expression-negative`	negative	`not-reached`	true-negative	`a4862d26601b…`
`arithmetic-expression-propagation`	`dfb-taint-python-arithmetic-expression-positive`	positive	`reached`	true-positive	`ab1d46c189c1…`
`array-element-separation`	`dfb-taint-python-array-element-negative`	negative	`not-reached`	true-negative	`ab506c715931…`
`array-element-separation`	`dfb-taint-python-array-element-positive`	positive	`not-reached`	false-negative	`838f978130b4…`
`branch-join`	`dfb-taint-python-branch-join-negative`	negative	`not-reached`	true-negative	`9c09c8cf822a…`
`branch-join`	`dfb-taint-python-branch-join-positive`	positive	`reached`	true-positive	`5823e406d6a4…`
`call-context-separation`	`dfb-taint-python-call-context-negative`	negative	`not-reached`	true-negative	`19b347c6af9f…`
`call-context-separation`	`dfb-taint-python-call-context-positive`	positive	`reached`	true-positive	`72cc522ef8ac…`
`direct-propagation`	`dfb-taint-python-direct-negative`	negative	`not-reached`	true-negative	`2f6b196c4c86…`
`direct-propagation`	`dfb-taint-python-direct-positive`	positive	`reached`	true-positive	`8b2d3128fc3d…`
`exception-catch`	`dfb-taint-python-exception-catch-negative`	negative	`not-reached`	true-negative	`30910bdfc19e…`
`exception-catch`	`dfb-taint-python-exception-catch-positive`	positive	`not-reached`	false-negative	`10cc129b7325…`
`infeasible-branch`	`dfb-taint-python-infeasible-branch-negative`	negative	`not-reached`	true-negative	`bca0bcc835c3…`
`infeasible-branch`	`dfb-taint-python-infeasible-branch-positive`	positive	`reached`	true-positive	`083ad8b4d287…`
`local-multi-step-chain`	`dfb-taint-python-local-chain-negative`	negative	`not-reached`	true-negative	`9a2b0f60346c…`
`local-multi-step-chain`	`dfb-taint-python-local-chain-positive`	positive	`reached`	true-positive	`584620c31cf1…`
`local-overwrite-kill`	`dfb-taint-python-local-overwrite-negative`	negative	`not-reached`	true-negative	`c8221606d3cb…`
`local-overwrite-kill`	`dfb-taint-python-local-overwrite-positive`	positive	`reached`	true-positive	`93a68ebe1dad…`
`loop-carried-kill`	`dfb-taint-python-loop-carried-negative`	negative	`reached`	false-positive	`4af80fe2f893…`
`loop-carried-kill`	`dfb-taint-python-loop-carried-positive`	positive	`reached`	true-positive	`496a735a784f…`
`object-separation`	`dfb-taint-python-object-separation-negative`	negative	`not-reached`	true-negative	`c0b0282d17fd…`
`object-separation`	`dfb-taint-python-object-separation-positive`	positive	`reached`	true-positive	`69d3b3f8b42a…`
`return-relay-one-hop`	`dfb-taint-python-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`9343e29aaf8d…`
`return-relay-one-hop`	`dfb-taint-python-return-relay-one-hop-positive`	positive	`reached`	true-positive	`519746ee6896…`
`return-relay-two-hop`	`dfb-taint-python-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`7d4c16d349e2…`
`return-relay-two-hop`	`dfb-taint-python-return-relay-two-hop-positive`	positive	`reached`	true-positive	`66c7bdabcdbc…`
`same-object-field-separation`	`dfb-taint-python-same-object-field-negative`	negative	`not-reached`	true-negative	`6064f04e216e…`
`same-object-field-separation`	`dfb-taint-python-same-object-field-positive`	positive	`reached`	true-positive	`a4e5e746244c…`

`codeql-rust-kernel-taint-taint-benchmark-controlled` — `rust`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-rust-alias-propagation-negative`	negative	`not-reached`	true-negative	`ccc00a637ffb…`
`alias-propagation-separation`	`dfb-taint-rust-alias-propagation-positive`	positive	`reached`	true-positive	`8502928a3ffa…`
`argument-position-separation`	`dfb-taint-rust-argument-position-negative`	negative	`not-reached`	true-negative	`fe64b0e4cfd5…`
`argument-position-separation`	`dfb-taint-rust-argument-position-positive`	positive	`reached`	true-positive	`06720363f47a…`
`arithmetic-expression-propagation`	`dfb-taint-rust-expression-negative`	negative	`not-reached`	true-negative	`1239259fbb3f…`
`arithmetic-expression-propagation`	`dfb-taint-rust-expression-positive`	positive	`reached`	true-positive	`16a0f9357bcd…`
`array-element-separation`	`dfb-taint-rust-array-element-negative`	negative	`reached`	false-positive	`64eccaafab05…`
`array-element-separation`	`dfb-taint-rust-array-element-positive`	positive	`reached`	true-positive	`5706afb3f390…`
`branch-join`	`dfb-taint-rust-branch-join-negative`	negative	`not-reached`	true-negative	`cf9f2520814a…`
`branch-join`	`dfb-taint-rust-branch-join-positive`	positive	`reached`	true-positive	`29b3a5fafe3d…`
`call-context-separation`	`dfb-taint-rust-call-context-negative`	negative	`not-reached`	true-negative	`540266cd2e74…`
`call-context-separation`	`dfb-taint-rust-call-context-positive`	positive	`reached`	true-positive	`f00dff800ea4…`
`direct-propagation`	`dfb-taint-rust-direct-negative`	negative	`not-reached`	true-negative	`5d2b79c2a2f0…`
`direct-propagation`	`dfb-taint-rust-direct-positive`	positive	`reached`	true-positive	`b0fa9b84ef31…`
`infeasible-branch`	`dfb-taint-rust-infeasible-branch-negative`	negative	`not-reached`	true-negative	`561453bd45b7…`
`infeasible-branch`	`dfb-taint-rust-infeasible-branch-positive`	positive	`reached`	true-positive	`0fd3f27bcf45…`
`local-multi-step-chain`	`dfb-taint-rust-local-chain-negative`	negative	`not-reached`	true-negative	`1c048922c80d…`
`local-multi-step-chain`	`dfb-taint-rust-local-chain-positive`	positive	`reached`	true-positive	`b5868c6fdb6a…`
`local-overwrite-kill`	`dfb-taint-rust-local-overwrite-negative`	negative	`not-reached`	true-negative	`23f6a678ad0e…`
`local-overwrite-kill`	`dfb-taint-rust-local-overwrite-positive`	positive	`reached`	true-positive	`c1fd391ae464…`
`loop-carried-kill`	`dfb-taint-rust-loop-carried-negative`	negative	`reached`	false-positive	`f95e499cc449…`
`loop-carried-kill`	`dfb-taint-rust-loop-carried-positive`	positive	`reached`	true-positive	`09ad9e2d243d…`
`object-separation`	`dfb-taint-rust-object-separation-negative`	negative	`not-reached`	true-negative	`d4d5ff4022b4…`
`object-separation`	`dfb-taint-rust-object-separation-positive`	positive	`reached`	true-positive	`b009f44f0eef…`
`return-relay-one-hop`	`dfb-taint-rust-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`4ebec1b24c61…`
`return-relay-one-hop`	`dfb-taint-rust-return-relay-one-hop-positive`	positive	`reached`	true-positive	`9b6cfadefd4b…`
`return-relay-two-hop`	`dfb-taint-rust-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`ebd552823524…`
`return-relay-two-hop`	`dfb-taint-rust-return-relay-two-hop-positive`	positive	`reached`	true-positive	`eaca02ffa629…`
`same-object-field-separation`	`dfb-taint-rust-same-object-field-negative`	negative	`not-reached`	true-negative	`478f1940aa12…`
`same-object-field-separation`	`dfb-taint-rust-same-object-field-positive`	positive	`reached`	true-positive	`14ea6d1ae755…`

`codeql-rust-kernel-taint-taint-benchmark-controlled` — `rust`, language-extension

Template	Case	Polarity	Outcome	Classification	Raw evidence
`result-error-propagation`	`dfb-taint-rust-result-error-propagation-negative`	negative	`not-reached`	true-negative	`371810539776…`
`result-error-propagation`	`dfb-taint-rust-result-error-propagation-positive`	positive	`not-reached`	false-negative	`ec5a84949c6a…`

`codeql-typescript-kernel-taint-taint-benchmark-controlled` — `typescript`, core

Template	Case	Polarity	Outcome	Classification	Raw evidence
`alias-propagation-separation`	`dfb-taint-typescript-alias-propagation-negative`	negative	`not-reached`	true-negative	`b98671d84929…`
`alias-propagation-separation`	`dfb-taint-typescript-alias-propagation-positive`	positive	`not-reached`	false-negative	`77391cd5e0f0…`
`argument-position-separation`	`dfb-taint-typescript-argument-position-negative`	negative	`not-reached`	true-negative	`87cfa7016ede…`
`argument-position-separation`	`dfb-taint-typescript-argument-position-positive`	positive	`reached`	true-positive	`113b0614cab6…`
`arithmetic-expression-propagation`	`dfb-taint-typescript-expression-negative`	negative	`not-reached`	true-negative	`ad853c6323dc…`
`arithmetic-expression-propagation`	`dfb-taint-typescript-expression-positive`	positive	`not-reached`	false-negative	`d9240d879fd5…`
`array-element-separation`	`dfb-taint-typescript-array-element-negative`	negative	`not-reached`	true-negative	`a49ca90e3cfc…`
`array-element-separation`	`dfb-taint-typescript-array-element-positive`	positive	`reached`	true-positive	`63b7d9ea759e…`
`branch-join`	`dfb-taint-typescript-branch-join-negative`	negative	`not-reached`	true-negative	`e2f86b4d462e…`
`branch-join`	`dfb-taint-typescript-branch-join-positive`	positive	`reached`	true-positive	`34aebb4a212a…`
`call-context-separation`	`dfb-taint-typescript-call-context-negative`	negative	`not-reached`	true-negative	`eb95ea118309…`
`call-context-separation`	`dfb-taint-typescript-call-context-positive`	positive	`reached`	true-positive	`4f0a1496d62c…`
`direct-propagation`	`dfb-taint-typescript-direct-negative`	negative	`not-reached`	true-negative	`5b25130fcc04…`
`direct-propagation`	`dfb-taint-typescript-direct-positive`	positive	`reached`	true-positive	`5f0c5078012e…`
`exception-catch`	`dfb-taint-typescript-exception-catch-negative`	negative	`not-reached`	true-negative	`8fe018e0e420…`
`exception-catch`	`dfb-taint-typescript-exception-catch-positive`	positive	`reached`	true-positive	`a6f7c5bd87b5…`
`infeasible-branch`	`dfb-taint-typescript-infeasible-branch-negative`	negative	`not-reached`	true-negative	`add888198656…`
`infeasible-branch`	`dfb-taint-typescript-infeasible-branch-positive`	positive	`reached`	true-positive	`34cfac4799dc…`
`local-multi-step-chain`	`dfb-taint-typescript-local-chain-negative`	negative	`not-reached`	true-negative	`297c4e2d882f…`
`local-multi-step-chain`	`dfb-taint-typescript-local-chain-positive`	positive	`reached`	true-positive	`bbf7f20e02c8…`
`local-overwrite-kill`	`dfb-taint-typescript-local-overwrite-negative`	negative	`not-reached`	true-negative	`d670dd2a249d…`
`local-overwrite-kill`	`dfb-taint-typescript-local-overwrite-positive`	positive	`reached`	true-positive	`aeab78d3c0c2…`
`loop-carried-kill`	`dfb-taint-typescript-loop-carried-negative`	negative	`reached`	false-positive	`a17fd1d70a8e…`
`loop-carried-kill`	`dfb-taint-typescript-loop-carried-positive`	positive	`reached`	true-positive	`547cdaa7aec4…`
`object-separation`	`dfb-taint-typescript-object-separation-negative`	negative	`not-reached`	true-negative	`4e6cb67371bb…`
`object-separation`	`dfb-taint-typescript-object-separation-positive`	positive	`reached`	true-positive	`6102c1c61ddb…`
`return-relay-one-hop`	`dfb-taint-typescript-return-relay-one-hop-negative`	negative	`not-reached`	true-negative	`7ac68ec9ad3b…`
`return-relay-one-hop`	`dfb-taint-typescript-return-relay-one-hop-positive`	positive	`reached`	true-positive	`b17e62d68280…`
`return-relay-two-hop`	`dfb-taint-typescript-return-relay-two-hop-negative`	negative	`not-reached`	true-negative	`18b1be7af52e…`
`return-relay-two-hop`	`dfb-taint-typescript-return-relay-two-hop-positive`	positive	`reached`	true-positive	`b9c13271829d…`
`same-object-field-separation`	`dfb-taint-typescript-same-object-field-negative`	negative	`not-reached`	true-negative	`1903f89f3849…`
`same-object-field-separation`	`dfb-taint-typescript-same-object-field-positive`	positive	`reached`	true-positive	`53562c16311c…`

Case evidence — v0.3.0

bifrost-c-kernel-taint-taint-benchmark-controlled — c, core

bifrost-c-kernel-taint-taint-benchmark-controlled — c, language-extension

bifrost-cpp-kernel-taint-taint-benchmark-controlled — cpp, core

bifrost-csharp-kernel-taint-taint-benchmark-controlled — csharp, core

bifrost-go-kernel-taint-taint-benchmark-controlled — go, core

bifrost-kotlin-kernel-taint-taint-benchmark-controlled — kotlin, core

bifrost-python-kernel-taint-taint-benchmark-controlled — python, core

bifrost-rust-kernel-taint-taint-benchmark-controlled — rust, core

bifrost-rust-kernel-taint-taint-benchmark-controlled — rust, language-extension

bifrost-smoke-taint-taint-benchmark-controlled — c, core

bifrost-smoke-taint-taint-benchmark-controlled — cpp, core

bifrost-smoke-taint-taint-benchmark-controlled — csharp, core

bifrost-smoke-taint-taint-benchmark-controlled — go, core

bifrost-smoke-taint-taint-benchmark-controlled — java, calibration

bifrost-smoke-taint-taint-benchmark-controlled — java, core

bifrost-smoke-taint-taint-benchmark-controlled — javascript, core

bifrost-smoke-taint-taint-benchmark-controlled — kotlin, core

bifrost-smoke-taint-taint-benchmark-controlled — php, core

bifrost-smoke-taint-taint-benchmark-controlled — python, core

bifrost-smoke-taint-taint-benchmark-controlled — ruby, core

bifrost-smoke-taint-taint-benchmark-controlled — rust, core

bifrost-smoke-taint-taint-benchmark-controlled — scala, core

bifrost-smoke-taint-taint-benchmark-controlled — typescript, core

bifrost-typescript-kernel-taint-taint-benchmark-controlled — typescript, core

codeql-c-kernel-taint-taint-benchmark-controlled — c, core

codeql-c-kernel-taint-taint-benchmark-controlled — c, language-extension

codeql-cpp-kernel-taint-taint-benchmark-controlled — cpp, core

codeql-csharp-kernel-taint-taint-benchmark-controlled — csharp, core

codeql-go-kernel-taint-taint-benchmark-controlled — go, core

codeql-java-kernel-taint-taint-benchmark-controlled — java, core

codeql-javascript-kernel-taint-taint-benchmark-controlled — javascript, core

codeql-kotlin-kernel-taint-taint-benchmark-controlled — kotlin, core

codeql-python-kernel-taint-taint-benchmark-controlled — python, core

codeql-rust-kernel-taint-taint-benchmark-controlled — rust, core

codeql-rust-kernel-taint-taint-benchmark-controlled — rust, language-extension

codeql-typescript-kernel-taint-taint-benchmark-controlled — typescript, core

`bifrost-c-kernel-taint-taint-benchmark-controlled` — `c`, core

`bifrost-c-kernel-taint-taint-benchmark-controlled` — `c`, language-extension

`bifrost-cpp-kernel-taint-taint-benchmark-controlled` — `cpp`, core

`bifrost-csharp-kernel-taint-taint-benchmark-controlled` — `csharp`, core

`bifrost-go-kernel-taint-taint-benchmark-controlled` — `go`, core

`bifrost-kotlin-kernel-taint-taint-benchmark-controlled` — `kotlin`, core

`bifrost-python-kernel-taint-taint-benchmark-controlled` — `python`, core

`bifrost-rust-kernel-taint-taint-benchmark-controlled` — `rust`, core

`bifrost-rust-kernel-taint-taint-benchmark-controlled` — `rust`, language-extension

`bifrost-smoke-taint-taint-benchmark-controlled` — `c`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `cpp`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `csharp`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `go`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `java`, calibration

`bifrost-smoke-taint-taint-benchmark-controlled` — `java`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `javascript`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `kotlin`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `php`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `python`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `ruby`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `rust`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `scala`, core

`bifrost-smoke-taint-taint-benchmark-controlled` — `typescript`, core

`bifrost-typescript-kernel-taint-taint-benchmark-controlled` — `typescript`, core

`codeql-c-kernel-taint-taint-benchmark-controlled` — `c`, core

`codeql-c-kernel-taint-taint-benchmark-controlled` — `c`, language-extension

`codeql-cpp-kernel-taint-taint-benchmark-controlled` — `cpp`, core

`codeql-csharp-kernel-taint-taint-benchmark-controlled` — `csharp`, core

`codeql-go-kernel-taint-taint-benchmark-controlled` — `go`, core

`codeql-java-kernel-taint-taint-benchmark-controlled` — `java`, core

`codeql-javascript-kernel-taint-taint-benchmark-controlled` — `javascript`, core

`codeql-kotlin-kernel-taint-taint-benchmark-controlled` — `kotlin`, core

`codeql-python-kernel-taint-taint-benchmark-controlled` — `python`, core

`codeql-rust-kernel-taint-taint-benchmark-controlled` — `rust`, core

`codeql-rust-kernel-taint-taint-benchmark-controlled` — `rust`, language-extension

`codeql-typescript-kernel-taint-taint-benchmark-controlled` — `typescript`, core