Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
4,222 workflow runs
4,222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4766: Pull request #21011 synchronize by aschackmull
2m 45s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
2m 45s
Rust: Distinguish &mut T from &T in type inference Rust #4765: Pull request #20973 synchronize by hvitved
2m 47s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 47s
C#: Use .NET 10 for building the extractor and running tests. Rust #4764: Pull request #20898 synchronize by michaelnebel
2m 53s michaelnebel:csharp/dotnet10extractor
michaelnebel:csharp/dotnet10extractor
2m 53s
Python: MaD barriers Rust #4763: Pull request #21004 synchronize by yoff
2m 51s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 51s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4762: Pull request #21011 opened by aschackmull
2m 51s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
2m 51s
Rust: Lift content reads as taint steps Rust #4761: Pull request #20879 synchronize by paldepind
2m 47s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 47s
Rust: Strengthen isNotInstantiationOf uses Rust #4760: Pull request #21010 opened by hvitved
2m 50s hvitved:rust/type-inference-fix-blowup
hvitved:rust/type-inference-fix-blowup
2m 50s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Rust #4759: Pull request #21009 synchronize by geoffw0
2m 42s geoffw0:varfps
geoffw0:varfps
2m 42s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Rust #4758: Pull request #21009 synchronize by geoffw0
2m 49s geoffw0:varfps
geoffw0:varfps
2m 49s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Rust #4757: Pull request #21009 opened by geoffw0
2m 48s geoffw0:varfps
geoffw0:varfps
2m 48s
Java: Support for MaD barriers and barrier guards. Rust #4756: Pull request #20986 synchronize by aschackmull
2m 45s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 45s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Rust #4755: Pull request #20996 synchronize by michaelnebel
2m 47s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
2m 47s
Rust: Lift content reads as taint steps Rust #4754: Pull request #20879 synchronize by paldepind
2m 52s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 52s
Rust: Lift content reads as taint steps Rust #4753: Pull request #20879 synchronize by paldepind
2m 51s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 51s
Java: Support for MaD barriers and barrier guards. Rust #4752: Pull request #20986 synchronize by aschackmull
2m 48s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 48s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Rust #4751: Pull request #21001 synchronize by aschackmull
2m 50s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
2m 50s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Rust #4750: Pull request #21001 synchronize by aschackmull
2m 46s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
2m 46s
Rust: Reduce the number of sinks in DereferenceSink Rust #4749: Pull request #20941 synchronize by paldepind
2m 52s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
2m 52s
Add ECB and CBC block mode test cases for BrokenCryptoAlgorithm query Rust #4748: Pull request #20887 synchronize by geoffw0
3m 41s copilot/add-ecb-cbc-test-cases
copilot/add-ecb-cbc-test-cases
3m 41s
Rust: Update expected test output Rust #4747: Pull request #21007 opened by hvitved
2m 51s hvitved:rust/update-expected
hvitved:rust/update-expected
2m 51s
Rust: Accept changes to expected files for consistency check Rust #4746: Pull request #21006 opened by paldepind
2m 58s paldepind:rust/consistency-expected
paldepind:rust/consistency-expected
2m 58s
Add ECB and CBC block mode test cases for BrokenCryptoAlgorithm query Rust #4745: Pull request #20887 synchronize by geoffw0
2m 47s copilot/add-ecb-cbc-test-cases
copilot/add-ecb-cbc-test-cases
2m 47s
Java: Support for MaD barriers and barrier guards. Rust #4744: Pull request #20986 synchronize by aschackmull
3m 1s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 1s
Rust: Reduce the number of sinks in DereferenceSink Rust #4743: Pull request #20941 synchronize by paldepind
2m 50s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
2m 50s
Java: Support for MaD barriers and barrier guards. Rust #4742: Pull request #20986 synchronize by aschackmull
3m 2s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 2s