Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.yml
4,057 workflow runs
4,057 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Strengthen isNotInstantiationOf uses Check overlay annotations #4121: Pull request #21010 opened by hvitved
18s hvitved:rust/type-inference-fix-blowup
hvitved:rust/type-inference-fix-blowup
18s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check overlay annotations #4120: Pull request #21009 synchronize by geoffw0
20s geoffw0:varfps
geoffw0:varfps
20s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check overlay annotations #4119: Pull request #21009 synchronize by geoffw0
19s geoffw0:varfps
geoffw0:varfps
19s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check overlay annotations #4118: Pull request #21009 opened by geoffw0
19s geoffw0:varfps
geoffw0:varfps
19s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4117: Pull request #20986 synchronize by aschackmull
20s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
20s
Merge pull request #21001 from aschackmull/guards/generalise-validati… Check overlay annotations #4116: Commit 000f2c3 pushed by aschackmull
20s main
main
20s
C++: Update expected test results after frontend update Check overlay annotations #4115: Pull request #20926 synchronize by jketema
21s jketema:jketema/frontend-update
jketema:jketema/frontend-update
21s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Check overlay annotations #4114: Pull request #20996 synchronize by michaelnebel
19s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
19s
Rust: Lift content reads as taint steps Check overlay annotations #4113: Pull request #20879 synchronize by paldepind
19s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
19s
Python: Add modelling for zstd.compression Check overlay annotations #4112: Pull request #21002 synchronize by tausbn
23s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
23s
Rust: Lift content reads as taint steps Check overlay annotations #4111: Pull request #20879 synchronize by paldepind
20s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
20s
Merge pull request #20941 from paldepind/rust/invalid-pointer-barriers Check overlay annotations #4110: Commit cd721b8 pushed by paldepind
19s main
main
19s
Python: Add modelling for zstd.compression Check overlay annotations #4109: Pull request #21002 synchronize by tausbn
18s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
18s
Swift: Update to Swift 6.2.2 Check overlay annotations #4108: Pull request #21008 opened by jketema
20s jketema:swift-6.2.2
jketema:swift-6.2.2
20s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4107: Pull request #20986 synchronize by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Check overlay annotations #4106: Pull request #21001 synchronize by aschackmull
17s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
17s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Check overlay annotations #4105: Pull request #21001 synchronize by aschackmull
18s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
18s
Rust: Reduce the number of sinks in DereferenceSink Check overlay annotations #4104: Pull request #20941 synchronize by paldepind
18s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
18s
Merge pull request #21007 from hvitved/rust/update-expected Check overlay annotations #4103: Commit 4a1abc7 pushed by paldepind
21s main
main
21s
Add ECB and CBC block mode test cases for BrokenCryptoAlgorithm query Check overlay annotations #4102: Pull request #20887 synchronize by geoffw0
21s copilot/add-ecb-cbc-test-cases
copilot/add-ecb-cbc-test-cases
21s
Rust: Update expected test output Check overlay annotations #4101: Pull request #21007 opened by hvitved
18s hvitved:rust/update-expected
hvitved:rust/update-expected
18s
Rust: Accept changes to expected files for consistency check Check overlay annotations #4100: Pull request #21006 opened by paldepind
21s paldepind:rust/consistency-expected
paldepind:rust/consistency-expected
21s
Swift: Update tracer configuration Check overlay annotations #4099: Pull request #21005 opened by jketema
20s jketema:swift-filter-arg
jketema:swift-filter-arg
20s
Add ECB and CBC block mode test cases for BrokenCryptoAlgorithm query Check overlay annotations #4098: Pull request #20887 synchronize by geoffw0
18s copilot/add-ecb-cbc-test-cases
copilot/add-ecb-cbc-test-cases
18s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4097: Pull request #20986 synchronize by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s