Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Python: Port simple points-to queries without DCA alert changes Check overlay annotations #6148: Pull request #21519 synchronize by tausbn
23s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
23s
Python: Port simple points-to queries without DCA alert changes Check overlay annotations #6147: Pull request #21519 synchronize by tausbn
22s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
22s
C++: Disable cpp/implicit-function-declaration on build mode none databases Check overlay annotations #6146: Pull request #21553 opened by geoffw0
20s geoffw0:implicitfn
geoffw0:implicitfn
20s
C#: Remove expanded assignments. Check overlay annotations #6145: Pull request #21452 synchronize by michaelnebel
21s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
21s
Python: Port simple points-to queries without DCA alert changes Check overlay annotations #6144: Pull request #21519 synchronize by tausbn
21s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
21s
Python: Port simple points-to queries without DCA alert changes Check overlay annotations #6143: Pull request #21519 synchronize by tausbn
19s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
19s
C#: Remove expanded assignments. Check overlay annotations #6142: Pull request #21452 synchronize by michaelnebel
19s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
19s
C++: Expose indirect instructions and indirect parameters in dataflow Check overlay annotations #6141: Pull request #21552 synchronize by MathiasVP
18s MathiasVP:more-public-dataflow-apis
MathiasVP:more-public-dataflow-apis
18s
C++: Expose indirect instructions and indirect parameters in dataflow Check overlay annotations #6140: Pull request #21552 synchronize by MathiasVP
21s MathiasVP:more-public-dataflow-apis
MathiasVP:more-public-dataflow-apis
21s
C++: Expose indirect instructions and indirect parameters in dataflow Check overlay annotations #6139: Pull request #21552 opened by MathiasVP
21s MathiasVP:more-public-dataflow-apis
MathiasVP:more-public-dataflow-apis
21s
Rust: Infer argument types based on trait bounds on parameters Check overlay annotations #6138: Pull request #21206 synchronize by hvitved
19s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
19s
C++: Handle field initialization via NSDMI in IR generation Check overlay annotations #6137: Pull request #21391 synchronize by jketema
20s jketema:jketema/nsdmi
jketema:jketema/nsdmi
20s
Kotlin: clamp -language-version to 1.9 Check overlay annotations #6136: Pull request #21545 opened by redsun82
21s redsun82/kotlin-language-version-min-1.9
redsun82/kotlin-language-version-min-1.9
21s
C++: Add expressions with type data to cpp/extraction-information Check overlay annotations #6135: Pull request #21544 opened by paldepind
18s paldepind:cpp/extraction-information-expr-types
paldepind:cpp/extraction-information-expr-types
18s
Merge pull request #21498 from Gregro/csharp/fix-log-forging-extensio… Check overlay annotations #6134: Commit 0d0d34c pushed by hvitved
20s main
main
20s
Merge pull request #21458 from github/jeongsoolee09/add-getIndirectio… Check overlay annotations #6133: Commit be24535 pushed by jketema
20s main
main
20s
Rust: Infer argument types based on trait bounds on parameters Check overlay annotations #6132: Pull request #21206 synchronize by hvitved
19s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
19s
Add IndirectUninitializedNode and related helper predicates Check overlay annotations #6131: Pull request #21458 synchronize by jketema
21s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
21s
Java: Accept new test results after JDK 26 extractor upgrade Check overlay annotations #6130: Pull request #21494 synchronize by IdrissRio
20s idrissrio/java/jdk26
idrissrio/java/jdk26
20s
C#: Remove expanded assignments. Check overlay annotations #6129: Pull request #21452 synchronize by michaelnebel
19s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
19s
Rust: Infer argument types based on trait bounds on parameters Check overlay annotations #6128: Pull request #21206 synchronize by hvitved
20s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
20s
Java: Accept new test results after JDK 26 extractor upgrade Check overlay annotations #6127: Pull request #21494 synchronize by IdrissRio
18s idrissrio/java/jdk26
idrissrio/java/jdk26
18s
Add IndirectUninitializedNode and related helper predicates Check overlay annotations #6126: Pull request #21458 synchronize by jeongsoolee09
21s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
21s
C#: Fix false positives in cs/log-forging for extension methods Check overlay annotations #6125: Pull request #21498 synchronize by Gregro
21s Gregro:csharp/fix-log-forging-extension-methods
Gregro:csharp/fix-log-forging-extension-methods
21s
Bump actions/cache from 3 to 5 Check overlay annotations #6123: Pull request #21503 synchronize by dependabot Bot
21s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
21s
ProTip! You can narrow down the results and go further in time using created:<2026-03-21 or the other filters available.