Case evidence — v0.2.0
Every result links its retained raw-evidence artifact (SARIF or analyzer output), digest-bound in the freeze manifest.
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 | 7ab433125c5f… |
direct-propagation | dfb-taint-c-direct-positive | positive | reached | true-positive | 29433519b59c… |
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 | 0617ec23020f… |
direct-propagation | dfb-taint-cpp-direct-positive | positive | reached | true-positive | 48c7f6678df0… |
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 | 4ec8d9b68ace… |
direct-propagation | dfb-taint-csharp-direct-positive | positive | reached | true-positive | 9c8fb039ad80… |
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 | 052950876f8f… |
direct-propagation | dfb-taint-go-direct-positive | positive | reached | true-positive | b5ea9ffd048e… |
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 | 5ef17072241a… |
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 | inconclusive | inconclusive | ee9fd3a80174… |
alias-propagation-separation | dfb-taint-java-alias-propagation-positive | positive | inconclusive | inconclusive | 8f7ad1be5b9e… |
argument-position-separation | dfb-taint-java-argument-position-negative | negative | not-reached | true-negative | 36349c73c1ad… |
argument-position-separation | dfb-taint-java-argument-position-positive | positive | reached | true-positive | fd6ab4d9a1e7… |
arithmetic-expression-propagation | dfb-taint-java-expression-negative | negative | not-reached | true-negative | 73e626233b23… |
arithmetic-expression-propagation | dfb-taint-java-expression-positive | positive | not-reached | false-negative | 40c5c01fc0ee… |
array-element-separation | dfb-taint-java-array-element-negative | negative | inconclusive | inconclusive | a048bc9ac18d… |
array-element-separation | dfb-taint-java-array-element-positive | positive | inconclusive | inconclusive | 223da170d714… |
branch-join | dfb-taint-java-branch-join-negative | negative | reached | false-positive | 3e2aaabe7ef9… |
branch-join | dfb-taint-java-branch-join-positive | positive | reached | true-positive | 5e369b888789… |
call-context-separation | dfb-taint-java-call-context-negative | negative | not-reached | true-negative | 2c75f52a5c88… |
call-context-separation | dfb-taint-java-call-context-positive | positive | reached | true-positive | 8cf3b8cab9a3… |
direct-propagation | dfb-taint-java-direct-positive | positive | reached | true-positive | 946c0e71e686… |
direct-propagation | dfb-taint-java-explicit-negative | negative | not-reached | true-negative | c1465e0e0c0a… |
exception-catch | dfb-taint-java-exception-catch-negative | negative | inconclusive | inconclusive | 4eac62c9c8a4… |
exception-catch | dfb-taint-java-exception-catch-positive | positive | inconclusive | inconclusive | 3c4fce0fc603… |
infeasible-branch | dfb-taint-java-infeasible-branch-negative | negative | reached | false-positive | 9467275d91ab… |
infeasible-branch | dfb-taint-java-infeasible-branch-positive | positive | reached | true-positive | 31c49f1ade38… |
local-multi-step-chain | dfb-taint-java-local-chain-negative | negative | not-reached | true-negative | 83b72489e9af… |
local-multi-step-chain | dfb-taint-java-local-chain-positive | positive | reached | true-positive | 1050d2031381… |
local-overwrite-kill | dfb-taint-java-local-overwrite-negative | negative | reached | false-positive | c447539d7f07… |
local-overwrite-kill | dfb-taint-java-local-overwrite-positive | positive | reached | true-positive | f7d7c445f30e… |
loop-carried-kill | dfb-taint-java-loop-carried-negative | negative | reached | false-positive | 49a91f72b158… |
loop-carried-kill | dfb-taint-java-loop-carried-positive | positive | reached | true-positive | d394de2cd081… |
object-separation | dfb-taint-java-object-separation-negative | negative | inconclusive | inconclusive | acd315614b95… |
object-separation | dfb-taint-java-object-separation-positive | positive | inconclusive | inconclusive | 053a1af368d1… |
return-relay-one-hop | dfb-taint-java-return-relay-one-hop-negative | negative | not-reached | true-negative | e54296257777… |
return-relay-one-hop | dfb-taint-java-return-relay-one-hop-positive | positive | reached | true-positive | f1d8cd23f235… |
return-relay-two-hop | dfb-taint-java-return-relay-two-hop-negative | negative | not-reached | true-negative | 2a0d7a4dd6b6… |
return-relay-two-hop | dfb-taint-java-return-relay-two-hop-positive | positive | reached | true-positive | 3ba0e61b8a3c… |
same-object-field-separation | dfb-taint-java-same-object-field-negative | negative | inconclusive | inconclusive | 7a6894903893… |
same-object-field-separation | dfb-taint-java-same-object-field-positive | positive | inconclusive | inconclusive | 2ee7e44b23c9… |
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 | inconclusive | inconclusive | 196a24d9bcd1… |
alias-propagation-separation | dfb-taint-javascript-alias-propagation-positive | positive | inconclusive | inconclusive | 0ec8dda2bac1… |
argument-position-separation | dfb-taint-javascript-argument-position-negative | negative | not-reached | true-negative | d36b266852aa… |
argument-position-separation | dfb-taint-javascript-argument-position-positive | positive | reached | true-positive | 3394a8dfaca7… |
arithmetic-expression-propagation | dfb-taint-javascript-expression-negative | negative | not-reached | true-negative | 0d8df4cbe8c2… |
arithmetic-expression-propagation | dfb-taint-javascript-expression-positive | positive | not-reached | false-negative | 42a753b77c9e… |
array-element-separation | dfb-taint-javascript-array-element-negative | negative | inconclusive | inconclusive | 5ecfeb606e94… |
array-element-separation | dfb-taint-javascript-array-element-positive | positive | inconclusive | inconclusive | 856a504b980b… |
branch-join | dfb-taint-javascript-branch-join-negative | negative | reached | false-positive | 36972dfb5e05… |
branch-join | dfb-taint-javascript-branch-join-positive | positive | reached | true-positive | 19ed5d4bc54b… |
call-context-separation | dfb-taint-javascript-call-context-negative | negative | not-reached | true-negative | 377e100d3752… |
call-context-separation | dfb-taint-javascript-call-context-positive | positive | reached | true-positive | 43d668cdd260… |
direct-propagation | dfb-taint-javascript-direct-negative | negative | not-reached | true-negative | 598e4457c9f6… |
direct-propagation | dfb-taint-javascript-direct-positive | positive | reached | true-positive | 5cdf3315261a… |
exception-catch | dfb-taint-javascript-exception-catch-negative | negative | inconclusive | inconclusive | e73d4f5d9543… |
exception-catch | dfb-taint-javascript-exception-catch-positive | positive | inconclusive | inconclusive | 1537fd0da26d… |
infeasible-branch | dfb-taint-javascript-infeasible-branch-negative | negative | reached | false-positive | 8a392f7803b3… |
infeasible-branch | dfb-taint-javascript-infeasible-branch-positive | positive | reached | true-positive | 5b9e6fe1f813… |
local-multi-step-chain | dfb-taint-javascript-local-chain-negative | negative | not-reached | true-negative | bccf75897ba2… |
local-multi-step-chain | dfb-taint-javascript-local-chain-positive | positive | reached | true-positive | e5f7e72d905a… |
local-overwrite-kill | dfb-taint-javascript-local-overwrite-negative | negative | reached | false-positive | 9a532997e9b7… |
local-overwrite-kill | dfb-taint-javascript-local-overwrite-positive | positive | reached | true-positive | 593df760eeac… |
loop-carried-kill | dfb-taint-javascript-loop-carried-negative | negative | reached | false-positive | 7e1238c7565d… |
loop-carried-kill | dfb-taint-javascript-loop-carried-positive | positive | reached | true-positive | d9f0529fbe78… |
object-separation | dfb-taint-javascript-object-separation-negative | negative | not-reached | true-negative | a52f2dd3982f… |
object-separation | dfb-taint-javascript-object-separation-positive | positive | not-reached | false-negative | b02f04ce59d2… |
return-relay-one-hop | dfb-taint-javascript-return-relay-one-hop-negative | negative | not-reached | true-negative | 9f8d1addcfbc… |
return-relay-one-hop | dfb-taint-javascript-return-relay-one-hop-positive | positive | reached | true-positive | 6592817f7232… |
return-relay-two-hop | dfb-taint-javascript-return-relay-two-hop-negative | negative | not-reached | true-negative | 74df14047d77… |
return-relay-two-hop | dfb-taint-javascript-return-relay-two-hop-positive | positive | reached | true-positive | ccb6f17dd230… |
same-object-field-separation | dfb-taint-javascript-same-object-field-negative | negative | not-reached | true-negative | d3ff468dae94… |
same-object-field-separation | dfb-taint-javascript-same-object-field-positive | positive | not-reached | false-negative | 69fe79e71ca3… |
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 | 35ea9b3c1b3a… |
direct-propagation | dfb-taint-kotlin-direct-positive | positive | reached | true-positive | e3f7bcab6cb2… |
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 | 9c3983f8f3fd… |
direct-propagation | dfb-taint-php-direct-positive | positive | reached | true-positive | 887427f0f438… |
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 | inconclusive | inconclusive | d90226375a17… |
alias-propagation-separation | dfb-taint-python-alias-propagation-positive | positive | inconclusive | inconclusive | a057e168f448… |
argument-position-separation | dfb-taint-python-argument-position-negative | negative | not-reached | true-negative | 052b5304c674… |
argument-position-separation | dfb-taint-python-argument-position-positive | positive | reached | true-positive | 012063770290… |
arithmetic-expression-propagation | dfb-taint-python-arithmetic-expression-negative | negative | not-reached | true-negative | 7383c7125a34… |
arithmetic-expression-propagation | dfb-taint-python-arithmetic-expression-positive | positive | not-reached | false-negative | 594837ba6b00… |
array-element-separation | dfb-taint-python-array-element-negative | negative | inconclusive | inconclusive | cbfbdd064b37… |
array-element-separation | dfb-taint-python-array-element-positive | positive | inconclusive | inconclusive | cbfbdd064b37… |
branch-join | dfb-taint-python-branch-join-negative | negative | reached | false-positive | 2e9527bd6a69… |
branch-join | dfb-taint-python-branch-join-positive | positive | reached | true-positive | 6fe8d582f699… |
call-context-separation | dfb-taint-python-call-context-negative | negative | not-reached | true-negative | c1b45142583e… |
call-context-separation | dfb-taint-python-call-context-positive | positive | reached | true-positive | 6400757e544e… |
direct-propagation | dfb-taint-python-direct-negative | negative | not-reached | true-negative | 70a7b78d8ad4… |
direct-propagation | dfb-taint-python-direct-positive | positive | reached | true-positive | a3647ed1074d… |
exception-catch | dfb-taint-python-exception-catch-negative | negative | inconclusive | inconclusive | b282fb595820… |
exception-catch | dfb-taint-python-exception-catch-positive | positive | inconclusive | inconclusive | 1b564092afb5… |
infeasible-branch | dfb-taint-python-infeasible-branch-negative | negative | reached | false-positive | 62c76b450925… |
infeasible-branch | dfb-taint-python-infeasible-branch-positive | positive | reached | true-positive | 9b34f8c80484… |
local-multi-step-chain | dfb-taint-python-local-chain-negative | negative | not-reached | true-negative | 6dbeea9a8fbb… |
local-multi-step-chain | dfb-taint-python-local-chain-positive | positive | reached | true-positive | ac2655fdd577… |
local-overwrite-kill | dfb-taint-python-local-overwrite-negative | negative | reached | false-positive | 550f11f167a4… |
local-overwrite-kill | dfb-taint-python-local-overwrite-positive | positive | reached | true-positive | d2242223446d… |
loop-carried-kill | dfb-taint-python-loop-carried-negative | negative | inconclusive | inconclusive | ec776385a6fe… |
loop-carried-kill | dfb-taint-python-loop-carried-positive | positive | inconclusive | inconclusive | a80ae6520d6c… |
object-separation | dfb-taint-python-object-separation-negative | negative | inconclusive | inconclusive | f3e3d5641b6a… |
object-separation | dfb-taint-python-object-separation-positive | positive | inconclusive | inconclusive | eb0d22e3f1b4… |
return-relay-one-hop | dfb-taint-python-return-relay-one-hop-negative | negative | not-reached | true-negative | 55a47bebec34… |
return-relay-one-hop | dfb-taint-python-return-relay-one-hop-positive | positive | reached | true-positive | 2cf3ee39b212… |
return-relay-two-hop | dfb-taint-python-return-relay-two-hop-negative | negative | not-reached | true-negative | f3aa91484b3e… |
return-relay-two-hop | dfb-taint-python-return-relay-two-hop-positive | positive | reached | true-positive | e5be9d1ab627… |
same-object-field-separation | dfb-taint-python-same-object-field-negative | negative | inconclusive | inconclusive | 5bff7c7d8452… |
same-object-field-separation | dfb-taint-python-same-object-field-positive | positive | inconclusive | inconclusive | 81d76dab61f3… |
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 | fd22b9a33fd4… |
direct-propagation | dfb-taint-ruby-direct-positive | positive | inconclusive | inconclusive | 8401aa048236… |
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 | f84301bc65eb… |
direct-propagation | dfb-taint-rust-direct-positive | positive | reached | true-positive | 01d215e9d28b… |
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 | 5043395dbdcc… |
direct-propagation | dfb-taint-scala-direct-positive | positive | reached | true-positive | 57bd29932e61… |
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 | 4e2a7e0ad011… |
direct-propagation | dfb-taint-typescript-direct-positive | positive | reached | true-positive | d80674b54ebb… |
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 | inconclusive | inconclusive | d90226375a17… |
alias-propagation-separation | dfb-taint-python-alias-propagation-positive | positive | inconclusive | inconclusive | a057e168f448… |
argument-position-separation | dfb-taint-python-argument-position-negative | negative | not-reached | true-negative | 052b5304c674… |
argument-position-separation | dfb-taint-python-argument-position-positive | positive | reached | true-positive | 012063770290… |
arithmetic-expression-propagation | dfb-taint-python-arithmetic-expression-negative | negative | not-reached | true-negative | 7383c7125a34… |
arithmetic-expression-propagation | dfb-taint-python-arithmetic-expression-positive | positive | not-reached | false-negative | 594837ba6b00… |
array-element-separation | dfb-taint-python-array-element-negative | negative | inconclusive | inconclusive | cbfbdd064b37… |
array-element-separation | dfb-taint-python-array-element-positive | positive | inconclusive | inconclusive | cbfbdd064b37… |
branch-join | dfb-taint-python-branch-join-negative | negative | reached | false-positive | 2e9527bd6a69… |
branch-join | dfb-taint-python-branch-join-positive | positive | reached | true-positive | 6fe8d582f699… |
call-context-separation | dfb-taint-python-call-context-negative | negative | not-reached | true-negative | c1b45142583e… |
call-context-separation | dfb-taint-python-call-context-positive | positive | reached | true-positive | 6400757e544e… |
direct-propagation | dfb-taint-python-direct-negative | negative | not-reached | true-negative | 70a7b78d8ad4… |
direct-propagation | dfb-taint-python-direct-positive | positive | reached | true-positive | a3647ed1074d… |
exception-catch | dfb-taint-python-exception-catch-negative | negative | inconclusive | inconclusive | b282fb595820… |
exception-catch | dfb-taint-python-exception-catch-positive | positive | inconclusive | inconclusive | 1b564092afb5… |
infeasible-branch | dfb-taint-python-infeasible-branch-negative | negative | reached | false-positive | 62c76b450925… |
infeasible-branch | dfb-taint-python-infeasible-branch-positive | positive | reached | true-positive | 9b34f8c80484… |
local-multi-step-chain | dfb-taint-python-local-chain-negative | negative | not-reached | true-negative | 6dbeea9a8fbb… |
local-multi-step-chain | dfb-taint-python-local-chain-positive | positive | reached | true-positive | ac2655fdd577… |
local-overwrite-kill | dfb-taint-python-local-overwrite-negative | negative | reached | false-positive | 550f11f167a4… |
local-overwrite-kill | dfb-taint-python-local-overwrite-positive | positive | reached | true-positive | d2242223446d… |
loop-carried-kill | dfb-taint-python-loop-carried-negative | negative | inconclusive | inconclusive | ec776385a6fe… |
loop-carried-kill | dfb-taint-python-loop-carried-positive | positive | inconclusive | inconclusive | a80ae6520d6c… |
object-separation | dfb-taint-python-object-separation-negative | negative | inconclusive | inconclusive | f3e3d5641b6a… |
object-separation | dfb-taint-python-object-separation-positive | positive | inconclusive | inconclusive | eb0d22e3f1b4… |
return-relay-one-hop | dfb-taint-python-return-relay-one-hop-negative | negative | not-reached | true-negative | 55a47bebec34… |
return-relay-one-hop | dfb-taint-python-return-relay-one-hop-positive | positive | reached | true-positive | 2cf3ee39b212… |
return-relay-two-hop | dfb-taint-python-return-relay-two-hop-negative | negative | not-reached | true-negative | f3aa91484b3e… |
return-relay-two-hop | dfb-taint-python-return-relay-two-hop-positive | positive | reached | true-positive | e5be9d1ab627… |
same-object-field-separation | dfb-taint-python-same-object-field-negative | negative | inconclusive | inconclusive | 5bff7c7d8452… |
same-object-field-separation | dfb-taint-python-same-object-field-positive | positive | inconclusive | inconclusive | 81d76dab61f3… |
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 | 170be0c73869… |
alias-propagation-separation | dfb-taint-java-alias-propagation-positive | positive | not-reached | false-negative | 7b962d3c6de3… |
argument-position-separation | dfb-taint-java-argument-position-negative | negative | not-reached | true-negative | 935c8ca33424… |
argument-position-separation | dfb-taint-java-argument-position-positive | positive | reached | true-positive | 02e1415cb18a… |
arithmetic-expression-propagation | dfb-taint-java-expression-negative | negative | not-reached | true-negative | 7599031a9c95… |
arithmetic-expression-propagation | dfb-taint-java-expression-positive | positive | not-reached | false-negative | b3a7b143ac56… |
array-element-separation | dfb-taint-java-array-element-negative | negative | reached | false-positive | ada868602679… |
array-element-separation | dfb-taint-java-array-element-positive | positive | reached | true-positive | 7fd459e5e51e… |
branch-join | dfb-taint-java-branch-join-negative | negative | not-reached | true-negative | 112c5a72e1a2… |
branch-join | dfb-taint-java-branch-join-positive | positive | reached | true-positive | 15217738d3a5… |
call-context-separation | dfb-taint-java-call-context-negative | negative | not-reached | true-negative | 26b002aa612e… |
call-context-separation | dfb-taint-java-call-context-positive | positive | reached | true-positive | 752d628e4147… |
direct-propagation | dfb-taint-java-direct-positive | positive | reached | true-positive | a18353a069fb… |
direct-propagation | dfb-taint-java-explicit-negative | negative | not-reached | true-negative | 2c4f7af99cec… |
exception-catch | dfb-taint-java-exception-catch-negative | negative | not-reached | true-negative | 7fa855da3b8b… |
exception-catch | dfb-taint-java-exception-catch-positive | positive | not-reached | false-negative | 6a9a4074967f… |
infeasible-branch | dfb-taint-java-infeasible-branch-negative | negative | not-reached | true-negative | f5aeb95dfb24… |
infeasible-branch | dfb-taint-java-infeasible-branch-positive | positive | reached | true-positive | 170a893c43ff… |
local-multi-step-chain | dfb-taint-java-local-chain-negative | negative | not-reached | true-negative | 3ad0a4cb80a6… |
local-multi-step-chain | dfb-taint-java-local-chain-positive | positive | reached | true-positive | 2a05661d1af4… |
local-overwrite-kill | dfb-taint-java-local-overwrite-negative | negative | not-reached | true-negative | e372b78722b8… |
local-overwrite-kill | dfb-taint-java-local-overwrite-positive | positive | reached | true-positive | b1dbca4c4a9d… |
loop-carried-kill | dfb-taint-java-loop-carried-negative | negative | reached | false-positive | 169333412c8a… |
loop-carried-kill | dfb-taint-java-loop-carried-positive | positive | reached | true-positive | ec2f1d4f69df… |
object-separation | dfb-taint-java-object-separation-negative | negative | not-reached | true-negative | b1e8c9da8f65… |
object-separation | dfb-taint-java-object-separation-positive | positive | reached | true-positive | 8a937bd55cc0… |
return-relay-one-hop | dfb-taint-java-return-relay-one-hop-negative | negative | not-reached | true-negative | 767b69ae3c97… |
return-relay-one-hop | dfb-taint-java-return-relay-one-hop-positive | positive | reached | true-positive | ac3957fdba5f… |
return-relay-two-hop | dfb-taint-java-return-relay-two-hop-negative | negative | not-reached | true-negative | 7d54aa33c746… |
return-relay-two-hop | dfb-taint-java-return-relay-two-hop-positive | positive | reached | true-positive | acdcd90df6c9… |
same-object-field-separation | dfb-taint-java-same-object-field-negative | negative | not-reached | true-negative | d44c84934e63… |
same-object-field-separation | dfb-taint-java-same-object-field-positive | positive | reached | true-positive | 21e712502bfd… |
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 | e6dbabc9b0e5… |
alias-propagation-separation | dfb-taint-javascript-alias-propagation-positive | positive | not-reached | false-negative | 08702c365308… |
argument-position-separation | dfb-taint-javascript-argument-position-negative | negative | not-reached | true-negative | 8d756ea27f03… |
argument-position-separation | dfb-taint-javascript-argument-position-positive | positive | reached | true-positive | d248cca4d47c… |
arithmetic-expression-propagation | dfb-taint-javascript-expression-negative | negative | not-reached | true-negative | 6511065753f2… |
arithmetic-expression-propagation | dfb-taint-javascript-expression-positive | positive | not-reached | false-negative | 6decd56bb5ab… |
array-element-separation | dfb-taint-javascript-array-element-negative | negative | not-reached | true-negative | 8784ca43ba80… |
array-element-separation | dfb-taint-javascript-array-element-positive | positive | reached | true-positive | 5b9a17d7da37… |
branch-join | dfb-taint-javascript-branch-join-negative | negative | not-reached | true-negative | 56c25e0c1584… |
branch-join | dfb-taint-javascript-branch-join-positive | positive | reached | true-positive | f68bfce98732… |
call-context-separation | dfb-taint-javascript-call-context-negative | negative | not-reached | true-negative | 1ddff06b8d2a… |
call-context-separation | dfb-taint-javascript-call-context-positive | positive | reached | true-positive | 9bb789caccd3… |
direct-propagation | dfb-taint-javascript-direct-negative | negative | not-reached | true-negative | a893a80f27f1… |
direct-propagation | dfb-taint-javascript-direct-positive | positive | reached | true-positive | c1f6278fda22… |
exception-catch | dfb-taint-javascript-exception-catch-negative | negative | not-reached | true-negative | db3b5ea3b867… |
exception-catch | dfb-taint-javascript-exception-catch-positive | positive | reached | true-positive | e3c31c4db3b2… |
infeasible-branch | dfb-taint-javascript-infeasible-branch-negative | negative | not-reached | true-negative | 025ddc6e2151… |
infeasible-branch | dfb-taint-javascript-infeasible-branch-positive | positive | reached | true-positive | e174396d03c6… |
local-multi-step-chain | dfb-taint-javascript-local-chain-negative | negative | not-reached | true-negative | 2e385e3cfdf5… |
local-multi-step-chain | dfb-taint-javascript-local-chain-positive | positive | reached | true-positive | 77ba6db00e7e… |
local-overwrite-kill | dfb-taint-javascript-local-overwrite-negative | negative | not-reached | true-negative | f07efe06cd48… |
local-overwrite-kill | dfb-taint-javascript-local-overwrite-positive | positive | reached | true-positive | 302024e29996… |
loop-carried-kill | dfb-taint-javascript-loop-carried-negative | negative | reached | false-positive | 13c0ddf45743… |
loop-carried-kill | dfb-taint-javascript-loop-carried-positive | positive | reached | true-positive | 271052c8e639… |
object-separation | dfb-taint-javascript-object-separation-negative | negative | not-reached | true-negative | 45337daa3456… |
object-separation | dfb-taint-javascript-object-separation-positive | positive | reached | true-positive | ed28f2a82fb8… |
return-relay-one-hop | dfb-taint-javascript-return-relay-one-hop-negative | negative | not-reached | true-negative | ff571f4a0803… |
return-relay-one-hop | dfb-taint-javascript-return-relay-one-hop-positive | positive | reached | true-positive | c18113f5931f… |
return-relay-two-hop | dfb-taint-javascript-return-relay-two-hop-negative | negative | not-reached | true-negative | 828be82240de… |
return-relay-two-hop | dfb-taint-javascript-return-relay-two-hop-positive | positive | reached | true-positive | 856f033fc006… |
same-object-field-separation | dfb-taint-javascript-same-object-field-negative | negative | not-reached | true-negative | 5f07bfa701dc… |
same-object-field-separation | dfb-taint-javascript-same-object-field-positive | positive | reached | true-positive | 0432283a0a12… |
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 | 7740b055911b… |
alias-propagation-separation | dfb-taint-python-alias-propagation-positive | positive | not-reached | false-negative | b6c06f5a9435… |
argument-position-separation | dfb-taint-python-argument-position-negative | negative | not-reached | true-negative | 7bccd62ff3d5… |
argument-position-separation | dfb-taint-python-argument-position-positive | positive | reached | true-positive | 6a791ccdc0c2… |
arithmetic-expression-propagation | dfb-taint-python-arithmetic-expression-negative | negative | not-reached | true-negative | d5f966618db0… |
arithmetic-expression-propagation | dfb-taint-python-arithmetic-expression-positive | positive | reached | true-positive | 2ea91de80058… |
array-element-separation | dfb-taint-python-array-element-negative | negative | not-reached | true-negative | f80cd057a453… |
array-element-separation | dfb-taint-python-array-element-positive | positive | not-reached | false-negative | ec1ff55586d9… |
branch-join | dfb-taint-python-branch-join-negative | negative | not-reached | true-negative | 227677827cb9… |
branch-join | dfb-taint-python-branch-join-positive | positive | reached | true-positive | 3ef8ac1c409d… |
call-context-separation | dfb-taint-python-call-context-negative | negative | not-reached | true-negative | 765591041056… |
call-context-separation | dfb-taint-python-call-context-positive | positive | reached | true-positive | fdc7349dce9b… |
direct-propagation | dfb-taint-python-direct-negative | negative | not-reached | true-negative | 8e880f7edc92… |
direct-propagation | dfb-taint-python-direct-positive | positive | reached | true-positive | 480b966b2af2… |
exception-catch | dfb-taint-python-exception-catch-negative | negative | not-reached | true-negative | 15bc5ec8583e… |
exception-catch | dfb-taint-python-exception-catch-positive | positive | not-reached | false-negative | 7dd097356194… |
infeasible-branch | dfb-taint-python-infeasible-branch-negative | negative | not-reached | true-negative | 15a0f7a71110… |
infeasible-branch | dfb-taint-python-infeasible-branch-positive | positive | reached | true-positive | 37e3384e7f61… |
local-multi-step-chain | dfb-taint-python-local-chain-negative | negative | not-reached | true-negative | fcb8949a9cc5… |
local-multi-step-chain | dfb-taint-python-local-chain-positive | positive | reached | true-positive | 17ae05d9a1b1… |
local-overwrite-kill | dfb-taint-python-local-overwrite-negative | negative | not-reached | true-negative | d7538291dd5b… |
local-overwrite-kill | dfb-taint-python-local-overwrite-positive | positive | reached | true-positive | fb78edeeed2d… |
loop-carried-kill | dfb-taint-python-loop-carried-negative | negative | reached | false-positive | 4b6288c9f51d… |
loop-carried-kill | dfb-taint-python-loop-carried-positive | positive | reached | true-positive | 0296643aedec… |
object-separation | dfb-taint-python-object-separation-negative | negative | not-reached | true-negative | 563ff5869316… |
object-separation | dfb-taint-python-object-separation-positive | positive | reached | true-positive | 28cee08f2aff… |
return-relay-one-hop | dfb-taint-python-return-relay-one-hop-negative | negative | not-reached | true-negative | 761ff1db2ba1… |
return-relay-one-hop | dfb-taint-python-return-relay-one-hop-positive | positive | reached | true-positive | 47b03362e9e9… |
return-relay-two-hop | dfb-taint-python-return-relay-two-hop-negative | negative | not-reached | true-negative | fe2a6844c249… |
return-relay-two-hop | dfb-taint-python-return-relay-two-hop-positive | positive | reached | true-positive | bdf224d3a263… |
same-object-field-separation | dfb-taint-python-same-object-field-negative | negative | not-reached | true-negative | 476f9d96f3f5… |
same-object-field-separation | dfb-taint-python-same-object-field-positive | positive | reached | true-positive | 35d9310bcae7… |