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
Rust: Unify call resolution logic Check overlay annotations #5689: Pull request #21355 synchronize by hvitved
21s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
21s
Rust: Unify call resolution logic Check overlay annotations #5688: Pull request #21355 synchronize by hvitved
20s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
20s
Java: Make Assignment extend BinaryExpr. Check overlay annotations #5687: Pull request #21412 opened by aschackmull
21s aschackmull:java/binary-assignment
aschackmull:java/binary-assignment
21s
Inline expectation tests should always have space before and after $ Check overlay annotations #5686: Pull request #21405 synchronize by owen-mc
20s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
20s
C#: Add System.Net.WebSockets.ReceiveAsync as a remote flow source Check overlay annotations #5685: Pull request #21410 synchronize by MathiasVP
22s MathiasVP:add-WebSocket-ReceiveAsync-model
MathiasVP:add-WebSocket-ReceiveAsync-model
22s
Inline expectation tests should always have space before and after $ Check overlay annotations #5684: Pull request #21405 synchronize by owen-mc
21s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
21s
C#: Add System.Net.WebSockets.ReceiveAsync as a remote flow source Check overlay annotations #5683: Pull request #21410 synchronize by MathiasVP
21s MathiasVP:add-WebSocket-ReceiveAsync-model
MathiasVP:add-WebSocket-ReceiveAsync-model
21s
C#: Add System.Net.WebSockets.ReceiveAsync as a remote flow source Check overlay annotations #5682: Pull request #21410 opened by MathiasVP
22s MathiasVP:add-WebSocket-ReceiveAsync-model
MathiasVP:add-WebSocket-ReceiveAsync-model
22s
Inline expectation tests should always have space before and after $ Check overlay annotations #5681: Pull request #21405 synchronize by owen-mc
21s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
21s
Inline expectation tests should always have space before and after $ Check overlay annotations #5680: Pull request #21405 synchronize by owen-mc
24s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
24s
Merge pull request #21400 from michaelnebel/csharp/implicitconversion… Check overlay annotations #5679: Commit 219ea28 pushed by michaelnebel
21s main
main
21s
C#: Add default taint step from an implicit operator call to its argument. Check overlay annotations #5678: Pull request #21400 synchronize by michaelnebel
23s michaelnebel:csharp/implicitconversionreverseflowtaint
michaelnebel:csharp/implicitconversionreverseflowtaint
23s
Rust: Unify call resolution logic Check overlay annotations #5677: Pull request #21355 synchronize by hvitved
20s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
20s
C++: Update expected test results after extractor changes Check overlay annotations #5676: Pull request #21409 opened by jketema
21s jketema:jketema/softfloat
jketema:jketema/softfloat
21s
C#: Remove some unbounded TC computations Check overlay annotations #5675: Pull request #21348 synchronize by hvitved
23s hvitved:csharp/remove-tcs
hvitved:csharp/remove-tcs
23s
Rust: Add neutral models (map, from) Check overlay annotations #5674: Pull request #21375 synchronize by geoffw0
19s geoffw0:mapfix
geoffw0:mapfix
19s
Merge pull request #21403 from aschackmull/cfg/tweaks Check overlay annotations #5673: Commit 2782d90 pushed by aschackmull
20s main
main
20s
Guards: Improve performance of forall in guardDeterminesPhiInput. Check overlay annotations #5672: Pull request #21408 opened by aschackmull
20s aschackmull:guards/perf-tweak
aschackmull:guards/perf-tweak
20s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check overlay annotations #5671: Pull request #21404 synchronize by hvitved
19s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
19s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check overlay annotations #5670: Pull request #21404 synchronize by hvitved
21s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
21s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check overlay annotations #5669: Pull request #21404 synchronize by hvitved
20s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
20s
C# 14: User defined compound assignment operators. Check overlay annotations #5668: Pull request #21372 synchronize by michaelnebel
19s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
19s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check overlay annotations #5667: Pull request #21404 synchronize by hvitved
17s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
17s
C#: Add default taint step from an implicit operator call to its argument. Check overlay annotations #5666: Pull request #21400 synchronize by michaelnebel
21s michaelnebel:csharp/implicitconversionreverseflowtaint
michaelnebel:csharp/implicitconversionreverseflowtaint
21s
C++: IR: Drop the aliased SSA Check overlay annotations #5665: Pull request #21407 synchronize by igfoo
21s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
21s
ProTip! You can narrow down the results and go further in time using created:<2026-03-04 or the other filters available.