Semantic templates — v0.3.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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | php | bifrost-smoke-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 | ruby | bifrost-smoke-taint-taint-benchmark-controlled | core | inconclusive | inconclusive |
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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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-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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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-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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 |