Semantic templates — v0.4.0
Each scored core 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.
| Semantic template | Language | Scorecard | Tier | Positive outcome | Negative outcome |
|---|---|---|---|---|---|
alias-propagation-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
alias-propagation-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
alias-propagation-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
alias-propagation-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
alias-propagation-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
alias-propagation-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
argument-position-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
argument-position-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
argument-position-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
argument-position-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
argument-position-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
argument-position-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
argument-position-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
argument-position-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
argument-position-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
arithmetic-expression-propagation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
arithmetic-expression-propagation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
arithmetic-expression-propagation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
arithmetic-expression-propagation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | reached |
array-element-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | reached |
array-element-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | reached |
array-element-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | reached |
array-element-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
array-element-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
array-element-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | reached |
array-element-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
array-element-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
array-element-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | reached |
array-element-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
array-element-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
array-element-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
array-element-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
branch-join | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
branch-join | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
branch-join | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
branch-join | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
branch-join | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
branch-join | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
branch-join | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
branch-join | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
branch-join | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
c-error-code-return-path | c | bifrost-c-kernel-taint-taint-benchmark-controlled | language-extension | inconclusive | — |
c-error-code-return-path | c | codeql-c-kernel-taint-taint-benchmark-controlled | language-extension | reached | — |
c-goto-cleanup-carry | c | bifrost-c-kernel-taint-taint-benchmark-controlled | language-extension | inconclusive | — |
c-goto-cleanup-carry | c | codeql-c-kernel-taint-taint-benchmark-controlled | language-extension | reached | — |
call-context-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
call-context-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
call-context-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
call-context-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
call-context-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
call-context-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
call-context-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
call-context-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
call-context-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-anonymous-implementation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-anonymous-implementation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-anonymous-implementation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-anonymous-implementation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-anonymous-implementation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-anonymous-implementation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-callback-registration | java | joern-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | php | joern-php-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | python | joern-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-callback-registration | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-callback-registration | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-callback-registration | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-closure-capture | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-closure-capture | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-closure-capture | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-closure-capture | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-computed-property | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-computed-property | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-computed-property | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-computed-property | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-computed-property | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-computed-property | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-computed-property | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-computed-property | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-computed-property | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-computed-property | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-context-pair-depth2 | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-context-pair-depth2 | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-context-pair-depth2 | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-context-pair-depth2 | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-context-pair-depth2 | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-context-pair-depth2 | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-context-pair-depth2 | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-context-pair-depth2 | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-context-pair-depth2 | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-context-pair-depth2 | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-deep-relay-chain | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-deep-relay-chain | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | reached | inconclusive |
chal-deep-relay-chain | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | java | joern-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | php | joern-php-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | python | joern-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-deep-relay-chain | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-deep-relay-chain | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-deep-relay-chain | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-deep-relay-chain | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-deep-relay-chain | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-deep-relay-chain | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-dispatch-table | java | joern-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | php | joern-php-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | python | joern-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-dispatch-table | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-dispatch-table | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-dispatch-table | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-element-object | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-element-object | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-element-object | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-element-object | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
chal-element-object | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-element-object | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-element-object | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
chal-element-object | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-element-object | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-element-object | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
chal-element-object | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-element-object | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-element-object | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
chal-element-object | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-element-object | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-element-object | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-element-object | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-element-object | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
chal-element-object | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-element-object | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-element-object | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-element-object | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-element-object | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
chal-element-object | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-element-object | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-function-field | java | joern-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-function-field | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | php | joern-php-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-function-field | python | joern-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-function-field | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-function-field | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-function-field | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-map-iteration | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-map-iteration | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-map-iteration | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-map-iteration | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-nested-access-path | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-nested-access-path | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-nested-access-path | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-nested-access-path | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
chal-nested-access-path | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-nested-access-path | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-nested-access-path | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-nested-access-path | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-nested-access-path | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
chal-recursive-carry | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-recursive-carry | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-recursive-carry | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
chal-recursive-carry | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
chal-reflective-invocation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
chal-reflective-invocation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
chal-reflective-invocation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
direct-propagation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | c | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | csharp | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | go | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
direct-propagation | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | php | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
direct-propagation | ruby | bifrost-smoke-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
direct-propagation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | scala | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | typescript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
direct-propagation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
exception-catch | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
exception-catch | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | java | joern-java-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
exception-catch | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
exception-catch | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
exception-catch | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | php | joern-php-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
exception-catch | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | python | joern-python-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
exception-catch | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | not-reached | not-reached |
exception-catch | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
exception-catch | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
exception-catch | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
exception-catch | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
infeasible-branch | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
infeasible-branch | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
infeasible-branch | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
infeasible-branch | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
infeasible-branch | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
infeasible-branch | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
infeasible-branch | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | reached | reached |
infeasible-branch | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
infeasible-branch | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
infeasible-branch | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
local-multi-step-chain | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-multi-step-chain | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-multi-step-chain | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-multi-step-chain | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-multi-step-chain | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-multi-step-chain | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-multi-step-chain | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-overwrite-kill | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-overwrite-kill | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-overwrite-kill | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-overwrite-kill | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-overwrite-kill | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-overwrite-kill | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
local-overwrite-kill | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
local-overwrite-kill | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
loop-carried-kill | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
loop-carried-kill | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
loop-carried-kill | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
loop-carried-kill | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
loop-carried-kill | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
loop-carried-kill | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
loop-carried-kill | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
loop-carried-kill | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
loop-carried-kill | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
loop-carried-kill | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
modeled-external-summary | java | bifrost-smoke-taint-taint-benchmark-controlled | calibration | unsupported | — |
object-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
object-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
object-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
object-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
object-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
object-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
object-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
object-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
object-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
object-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
object-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
object-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
one-hop-relay | java | bifrost-smoke-taint-taint-benchmark-controlled | calibration | reached | — |
result-error-propagation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | language-extension | inconclusive | inconclusive |
result-error-propagation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | language-extension | not-reached | not-reached |
return-relay-one-hop | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-one-hop | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-one-hop | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-one-hop | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-one-hop | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-one-hop | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-one-hop | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-one-hop | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-two-hop | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-two-hop | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-two-hop | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-two-hop | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-two-hop | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
return-relay-two-hop | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
return-relay-two-hop | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
return-relay-two-hop | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | c | bifrost-c-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | c | codeql-c-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | c | semgrep-c-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | cpp | bifrost-cpp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | cpp | codeql-cpp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | cpp | semgrep-cpp-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | csharp | bifrost-csharp-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | csharp | codeql-csharp-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | go | bifrost-go-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | go | codeql-go-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | go | semgrep-go-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | java | bifrost-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | codeql-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | joern-java-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | java | semgrep-java-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | javascript | bifrost-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | javascript | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | javascript | codeql-javascript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | javascript | joern-javascript-kernel-taint-taint-benchmark-controlled | core | reached | reached |
same-object-field-separation | javascript | semgrep-javascript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | kotlin | bifrost-kotlin-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | kotlin | codeql-kotlin-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | kotlin | semgrep-kotlin-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | php | bifrost-php-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | php | joern-php-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | php | semgrep-php-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | python | bifrost-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | bifrost-smoke-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | codeql-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | joern-python-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | python | semgrep-python-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | ruby | bifrost-ruby-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | ruby | codeql-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | ruby | joern-ruby-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | ruby | semgrep-ruby-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | rust | bifrost-rust-kernel-taint-taint-benchmark-controlled | core | runner-error | runner-error |
same-object-field-separation | rust | codeql-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | rust | joern-rust-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | rust | semgrep-rust-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |
same-object-field-separation | scala | bifrost-scala-kernel-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
same-object-field-separation | typescript | bifrost-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | typescript | codeql-typescript-kernel-taint-taint-benchmark-controlled | core | reached | not-reached |
same-object-field-separation | typescript | semgrep-typescript-kernel-taint-taint-benchmark-controlled | core | unsupported | unsupported |