Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.yml
5,657 workflow runs
5,657 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
C++: IR: Drop the aliased SSA Check overlay annotations #5664: Pull request #21407 synchronize by igfoo
18s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
18s
C++: IR: Drop the aliased SSA Check overlay annotations #5663: Pull request #21407 opened by igfoo
21s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
21s
Inline expectation tests should always have space before and after $ Check overlay annotations #5662: Pull request #21405 synchronize by owen-mc
23s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
23s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check overlay annotations #5661: Pull request #21404 synchronize by hvitved
18s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
18s
C++: Handle field initialization via NSDMI in IR generation Check overlay annotations #5660: Pull request #21391 synchronize by jketema
22s jketema:jketema/nsdmi
jketema:jketema/nsdmi
22s
C++: Handle field initialization via NSDMI in IR generation Check overlay annotations #5659: Pull request #21391 synchronize by jketema
19s jketema:jketema/nsdmi
jketema:jketema/nsdmi
19s
Merge pull request #21390 from MathiasVP/less-reevaluation-4 Check overlay annotations #5658: Commit 6a904ed pushed by MathiasVP
20s main
main
20s
Inline expectation tests should always have space before and after $ Check overlay annotations #5657: Pull request #21405 opened by owen-mc
19s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
19s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check overlay annotations #5656: Pull request #21404 opened by hvitved
19s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
19s