Skip to content

Actions: github/codeql

Actions

Compile all queries using the latest stable CodeQL CLI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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: MaD barriers Compile all queries using the latest stable CodeQL CLI #34651: Pull request #21004 synchronize by yoff
1m 11s yoff:python/mad-barriers
yoff:python/mad-barriers
1m 11s
C#: Remove PreSsa library Compile all queries using the latest stable CodeQL CLI #34650: Pull request #20994 synchronize by hvitved
25m 28s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
25m 28s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Compile all queries using the latest stable CodeQL CLI #34649: Pull request #21011 opened by aschackmull
1m 17s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
1m 17s
C/C++ overlay: Add multiloc declaration to Overlay.qll Compile all queries using the latest stable CodeQL CLI #34648: Pull request #20995 synchronize by IdrissRio
26m 31s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
26m 31s
Rust: Lift content reads as taint steps Compile all queries using the latest stable CodeQL CLI #34647: Pull request #20879 synchronize by paldepind
26m 40s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
26m 40s
Rust: Strengthen isNotInstantiationOf uses Compile all queries using the latest stable CodeQL CLI #34646: Pull request #21010 opened by hvitved
27m 11s hvitved:rust/type-inference-fix-blowup
hvitved:rust/type-inference-fix-blowup
27m 11s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Compile all queries using the latest stable CodeQL CLI #34645: Pull request #21009 synchronize by geoffw0
26m 5s geoffw0:varfps
geoffw0:varfps
26m 5s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Compile all queries using the latest stable CodeQL CLI #34644: Pull request #21009 synchronize by geoffw0
25m 20s geoffw0:varfps
geoffw0:varfps
25m 20s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Compile all queries using the latest stable CodeQL CLI #34643: Pull request #21009 opened by geoffw0
26m 7s geoffw0:varfps
geoffw0:varfps
26m 7s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34642: Pull request #20986 synchronize by aschackmull
1h 0m 32s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1h 0m 32s
Merge pull request #21001 from aschackmull/guards/generalise-validati… Compile all queries using the latest stable CodeQL CLI #34641: Commit 000f2c3 pushed by aschackmull
1h 45m 0s main
main
1h 45m 0s
C++: Update expected test results after frontend update Compile all queries using the latest stable CodeQL CLI #34640: Pull request #20926 synchronize by jketema
25m 45s jketema:jketema/frontend-update
jketema:jketema/frontend-update
25m 45s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Compile all queries using the latest stable CodeQL CLI #34639: Pull request #20996 synchronize by michaelnebel
25m 48s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
25m 48s
Rust: Lift content reads as taint steps Compile all queries using the latest stable CodeQL CLI #34638: Pull request #20879 synchronize by paldepind
27m 3s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
27m 3s
Python: Add modelling for zstd.compression Compile all queries using the latest stable CodeQL CLI #34637: Pull request #21002 synchronize by tausbn
26m 17s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
26m 17s
Rust: Lift content reads as taint steps Compile all queries using the latest stable CodeQL CLI #34636: Pull request #20879 synchronize by paldepind
25m 58s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
25m 58s
Merge pull request #20941 from paldepind/rust/invalid-pointer-barriers Compile all queries using the latest stable CodeQL CLI #34635: Commit cd721b8 pushed by paldepind
1h 44m 40s main
main
1h 44m 40s
Python: Add modelling for zstd.compression Compile all queries using the latest stable CodeQL CLI #34634: Pull request #21002 synchronize by tausbn
24m 58s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
24m 58s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34633: Pull request #20986 synchronize by aschackmull
1h 1m 26s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1h 1m 26s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Compile all queries using the latest stable CodeQL CLI #34632: Pull request #21001 synchronize by aschackmull
37m 48s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
37m 48s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Compile all queries using the latest stable CodeQL CLI #34631: Pull request #21001 synchronize by aschackmull
37m 56s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
37m 56s
Rust: Reduce the number of sinks in DereferenceSink Compile all queries using the latest stable CodeQL CLI #34630: Pull request #20941 synchronize by paldepind
25m 13s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
25m 13s
Merge pull request #21007 from hvitved/rust/update-expected Compile all queries using the latest stable CodeQL CLI #34629: Commit 4a1abc7 pushed by paldepind
1h 46m 23s main
main
1h 46m 23s
Java: Support for MaD barriers and barrier guards. Compile all queries using the latest stable CodeQL CLI #34628: Pull request #20986 synchronize by aschackmull
59m 36s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
59m 36s
Rust: Reduce the number of sinks in DereferenceSink Compile all queries using the latest stable CodeQL CLI #34627: Pull request #20941 synchronize by paldepind
25m 37s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
25m 37s
ProTip! You can narrow down the results and go further in time using created:<2025-12-10 or the other filters available.