Semantic templates — v0.6.1
Each scored template is a balanced pair: one positive case (the flow exists)
and one minimally different negative case (it does not). Reading a row: a
sound-and-precise analyzer shows reached / not-reached.
Three template families appear here, and they belong to different populations.
chal-* and the unprefixed kernel templates are the benchmark-controlled
kernels. model-* templates are the modeling matrix, also
benchmark-controlled: twelve templates in six categories, where a category the
tool’s own model surface cannot express is unsupported before the tool runs.
native-* templates are the tool-native probe set, where the tool decides with
nothing supplied by us. The Model profile column separates the last of
these from the first two; rows from different profiles are never comparable,
and a native-* row of unsupported / unsupported is a declared decline,
not two wrong answers.
This is the page on which the Bifrost fix cycle is legible cell by cell. Six
template rows in Bifrost’s columns changed and no others did:
infeasible-branch for csharp and ruby and loop-carried for csharp and go
lose their false positives; element-object for java, javascript, and
typescript and recursive-carry for rust turn from a declined pair into a
correct pair; and array-element for go moves the other way, from a correct
pair to a declined one under bifrost-dev#2831. That last row is the reason
this page is worth reading rather than the summary: a net improvement still
has a cell that got worse, and it is right here.
| Semantic template | Language | Scorecard | Model profile | Tier | Positive outcome | Negative outcome |
|---|---|---|---|---|---|---|
alias-propagation-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
argument-position-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
argument-position-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
arithmetic-expression-propagation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
array-element-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
array-element-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
array-element-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
array-element-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
branch-join | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
branch-join | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
c-error-code-return-path | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | language-extension | inconclusive | — |
c-error-code-return-path | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | language-extension | reached | — |
c-goto-cleanup-carry | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | language-extension | reached | — |
c-goto-cleanup-carry | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | language-extension | reached | — |
call-context-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
call-context-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
call-context-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
call-context-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-anonymous-implementation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-anonymous-implementation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-anonymous-implementation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-callback-registration | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-callback-registration | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-closure-capture | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-computed-property | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-computed-property | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-context-pair-depth2 | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-context-pair-depth2 | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-context-pair-depth2 | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-deep-relay-chain | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-dispatch-table | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-dispatch-table | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-dispatch-table | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-dispatch-table | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-element-object | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-element-object | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-element-object | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-element-object | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-element-object | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-element-object | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-element-object | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-function-field | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-function-field | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-function-field | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-function-field | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-function-field | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-function-field | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-function-field | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-function-field | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-function-field | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-function-field | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-function-field | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-map-iteration | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-nested-access-path | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-nested-access-path | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-nested-access-path | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-nested-access-path | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-nested-access-path | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-recursive-carry | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-recursive-carry | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-recursive-carry | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
chal-recursive-carry | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
direct-propagation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | c | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | csharp | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | go | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | php | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | ruby | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | scala | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | typescript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
direct-propagation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
exception-catch | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
exception-catch | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
exception-catch | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
exception-catch | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
exception-catch | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
exception-catch | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
exception-catch | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
exception-catch | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
exception-catch | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
exception-catch | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
infeasible-branch | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
infeasible-branch | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
infeasible-branch | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
local-multi-step-chain | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
loop-carried-kill | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
loop-carried-kill | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | not-reached | not-reached |
loop-carried-kill | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
loop-carried-kill | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
loop-carried-kill | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
model-declared-sink | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | inconclusive | inconclusive |
model-declared-sink | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-sink | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | inconclusive | not-reached |
model-declared-source | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-declared-source | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-parameter | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-parameter | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-parameter | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-parameter | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-parameter | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-parameter | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-parameter | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-selectivity | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-selectivity | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-selectivity | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-selectivity | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-selectivity | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-entrypoint-selectivity | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-entrypoint-selectivity | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-opaque-propagator | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-opaque-propagator | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-opaque-propagator | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-opaque-propagator | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-opaque-propagator | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-opaque-propagator | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-opaque-propagator | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-opaque-propagator | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-opaque-propagator | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-opaque-propagator | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-opaque-propagator | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-opaque-propagator | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-opaque-propagator | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-opaque-propagator | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-opaque-propagator | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-opaque-propagator | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-propagator-position | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-propagator-position | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-propagator-position | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-propagator-position | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-propagator-position | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-propagator-position | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-propagator-position | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-sanitizer-kill | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-kill | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-sanitizer-selectivity | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-sanitizer-selectivity | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-sanitizer-selectivity | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-sanitizer-selectivity | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-store-roundtrip | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | not-reached | not-reached |
model-store-roundtrip | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-store-roundtrip | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | not-reached | not-reached |
model-store-roundtrip | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-store-roundtrip | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | not-reached | not-reached |
model-store-roundtrip | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-roundtrip | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-store-separation | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | not-reached | not-reached |
model-store-separation | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-store-separation | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | not-reached | not-reached |
model-store-separation | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-store-separation | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | not-reached | not-reached |
model-store-separation | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-store-separation | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-field | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-field | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-field | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-field | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-field | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-field | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | java | bifrost-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | java | codeql-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-through | java | flowdroid-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-through | java | infer-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | java | joern-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | java | opentaint-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | java | semgrep-java-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | javascript | bifrost-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | javascript | codeql-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-through | javascript | joern-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | javascript | semgrep-javascript-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | python | bifrost-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | python | codeql-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-through | python | joern-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
model-summary-through | python | pysa-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | reached | not-reached |
model-summary-through | python | semgrep-python-modeling-taint-taint-benchmark-controlled | benchmark-controlled | modeling | unsupported | unsupported |
modeled-external-summary | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | calibration | unsupported | — |
native-entrypoint | java | bifrost-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | java | codeql-java-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-entrypoint | java | flowdroid-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | java | infer-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | java | joern-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | java | opentaint-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | java | semgrep-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | javascript | bifrost-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | javascript | codeql-javascript-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-entrypoint | javascript | joern-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | javascript | semgrep-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | python | bifrost-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | python | codeql-python-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-entrypoint | python | joern-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-entrypoint | python | pysa-python-native-taint-taint-tool-native | tool-native | modeling | not-reached | not-reached |
native-entrypoint | python | semgrep-python-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-persistence | java | bifrost-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | java | codeql-java-native-taint-taint-tool-native | tool-native | modeling | reached | reached |
native-persistence | java | flowdroid-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | java | infer-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | java | joern-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | java | opentaint-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | java | semgrep-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | javascript | bifrost-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | javascript | codeql-javascript-native-taint-taint-tool-native | tool-native | modeling | not-reached | reached |
native-persistence | javascript | joern-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | javascript | semgrep-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | python | bifrost-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | python | codeql-python-native-taint-taint-tool-native | tool-native | modeling | reached | reached |
native-persistence | python | joern-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-persistence | python | pysa-python-native-taint-taint-tool-native | tool-native | modeling | not-reached | not-reached |
native-persistence | python | semgrep-python-native-taint-taint-tool-native | tool-native | modeling | reached | reached |
native-propagator | java | bifrost-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | java | codeql-java-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-propagator | java | flowdroid-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | java | infer-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | java | joern-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | java | opentaint-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | java | semgrep-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | javascript | bifrost-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | javascript | codeql-javascript-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-propagator | javascript | joern-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | javascript | semgrep-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | python | bifrost-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | python | codeql-python-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-propagator | python | joern-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-propagator | python | pysa-python-native-taint-taint-tool-native | tool-native | modeling | not-reached | not-reached |
native-propagator | python | semgrep-python-native-taint-taint-tool-native | tool-native | modeling | reached | reached |
native-sanitizer | java | bifrost-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | java | codeql-java-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-sanitizer | java | flowdroid-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | java | infer-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | java | joern-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | java | opentaint-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | java | semgrep-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | javascript | bifrost-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | javascript | codeql-javascript-native-taint-taint-tool-native | tool-native | modeling | reached | reached |
native-sanitizer | javascript | joern-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | javascript | semgrep-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | python | bifrost-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | python | codeql-python-native-taint-taint-tool-native | tool-native | modeling | reached | reached |
native-sanitizer | python | joern-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-sanitizer | python | pysa-python-native-taint-taint-tool-native | tool-native | modeling | not-reached | not-reached |
native-sanitizer | python | semgrep-python-native-taint-taint-tool-native | tool-native | modeling | reached | reached |
native-source-sink | java | bifrost-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | java | codeql-java-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-source-sink | java | flowdroid-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | java | infer-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | java | joern-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | java | opentaint-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | java | semgrep-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | javascript | bifrost-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | javascript | codeql-javascript-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-source-sink | javascript | joern-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | javascript | semgrep-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | python | bifrost-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | python | codeql-python-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-source-sink | python | joern-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-source-sink | python | pysa-python-native-taint-taint-tool-native | tool-native | modeling | not-reached | not-reached |
native-source-sink | python | semgrep-python-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-summary | java | bifrost-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | java | codeql-java-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-summary | java | flowdroid-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | java | infer-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | java | joern-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | java | opentaint-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | java | semgrep-java-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | javascript | bifrost-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | javascript | codeql-javascript-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-summary | javascript | joern-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | javascript | semgrep-javascript-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | python | bifrost-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | python | codeql-python-native-taint-taint-tool-native | tool-native | modeling | reached | not-reached |
native-summary | python | joern-python-native-taint-taint-tool-native | tool-native | modeling | unsupported | unsupported |
native-summary | python | pysa-python-native-taint-taint-tool-native | tool-native | modeling | not-reached | not-reached |
native-summary | python | semgrep-python-native-taint-taint-tool-native | tool-native | modeling | reached | reached |
object-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
object-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
object-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
object-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
object-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
one-hop-relay | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | calibration | reached | — |
result-error-propagation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | language-extension | inconclusive | inconclusive |
result-error-propagation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | language-extension | not-reached | not-reached |
return-relay-one-hop | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | c | infer-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | cpp | infer-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | flowdroid-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | infer-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | opentaint-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | reached |
same-object-field-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | kotlin | flowdroid-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | kotlin | opentaint-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | pysa-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | reached | not-reached |
same-object-field-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | benchmark-controlled | core | unsupported | unsupported |