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

Filter by Status

Filter by Branch

Filter by Actor

Python: MaD barriers Check overlay annotations #4130: Pull request #21004 synchronize by yoff
18s yoff:python/mad-barriers
yoff:python/mad-barriers
18s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check overlay annotations #4129: Pull request #21011 synchronize by aschackmull
19s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
19s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4128: Pull request #20973 synchronize by hvitved
20s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
20s
C#: Use .NET 10 for building the extractor and running tests. Check overlay annotations #4127: Pull request #20898 synchronize by michaelnebel
19s michaelnebel:csharp/dotnet10extractor
michaelnebel:csharp/dotnet10extractor
19s
Python: MaD barriers Check overlay annotations #4126: Pull request #21004 synchronize by yoff
19s yoff:python/mad-barriers
yoff:python/mad-barriers
19s
C#: Remove PreSsa library Check overlay annotations #4125: Pull request #20994 synchronize by hvitved
18s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
18s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check overlay annotations #4124: Pull request #21011 opened by aschackmull
19s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
19s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check overlay annotations #4123: Pull request #20995 synchronize by IdrissRio
19s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
19s
Rust: Lift content reads as taint steps Check overlay annotations #4122: Pull request #20879 synchronize by paldepind
21s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
21s
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
ProTip! You can narrow down the results and go further in time using created:<2025-12-10 or the other filters available.