Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Rust #4741: Pull request #21001 synchronize by aschackmull
2m 50s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
2m 50s
Rust: Reduce the number of sinks in DereferenceSink Rust #4740: Pull request #20941 synchronize by paldepind
3m 10s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
3m 10s
Python: MaD barriers Rust #4739: Pull request #21004 opened by yoff
2m 49s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 49s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Rust #4738: Pull request #21001 opened by aschackmull
2m 50s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
2m 50s
Java: Support for MaD barriers and barrier guards. Rust #4737: Pull request #20986 synchronize by aschackmull
2m 46s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 46s
Java: Support for MaD barriers and barrier guards. Rust #4736: Pull request #20986 synchronize by aschackmull
3m 5s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 5s
Java: Support for MaD barriers and barrier guards. Rust #4735: Pull request #20986 synchronize by aschackmull
2m 49s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 49s
Java: Support for MaD barriers and barrier guards. Rust #4734: Pull request #20986 synchronize by aschackmull
2m 51s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 51s
Rust: Reduce the number of sinks in DereferenceSink Rust #4733: Pull request #20941 synchronize by paldepind
2m 46s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
2m 46s
Java: Support for MaD barriers and barrier guards. Rust #4732: Pull request #20986 synchronize by aschackmull
2m 44s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 44s
Rust: Accept changes to expected files Rust #4731: Pull request #20997 synchronize by paldepind
2m 48s paldepind:rust/fix-expected
paldepind:rust/fix-expected
2m 48s
Java: Support for MaD barriers and barrier guards. Rust #4730: Pull request #20986 synchronize by aschackmull
2m 44s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 44s
Java: Support for MaD barriers and barrier guards. Rust #4729: Pull request #20986 synchronize by owen-mc
2m 47s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 47s
Rust: Accept changes to expected files Rust #4728: Pull request #20997 opened by paldepind
2m 53s paldepind:rust/fix-expected
paldepind:rust/fix-expected
2m 53s
Java: Support for MaD barriers and barrier guards. Rust #4727: Pull request #20986 synchronize by owen-mc
2m 41s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 41s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Rust #4726: Pull request #20996 opened by michaelnebel
2m 45s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
2m 45s
Java: Support for MaD barriers and barrier guards. Rust #4725: Pull request #20986 synchronize by aschackmull
2m 54s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 54s
Java: Support for MaD barriers and barrier guards. Rust #4724: Pull request #20986 synchronize by aschackmull
2m 46s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
2m 46s
C#: Use .NET 10 for building the extractor and running tests. Rust #4723: Pull request #20898 synchronize by michaelnebel
2m 46s michaelnebel:csharp/dotnet10extractor
michaelnebel:csharp/dotnet10extractor
2m 46s
Rust: Reduce the number of sinks in DereferenceSink Rust #4722: Pull request #20941 synchronize by paldepind
2m 47s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
2m 47s
Rust: Include more calls in DB quality metrics Rust #4721: Pull request #20954 synchronize by hvitved
3m 1s hvitved:rust/stats-more-calls
hvitved:rust/stats-more-calls
3m 1s
Rust: Handle Deref trait in type inference and data flow Rust #4720: Pull request #20987 synchronize by hvitved
2m 47s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 47s
Rust: Handle Deref trait in type inference and data flow Rust #4719: Pull request #20987 synchronize by hvitved
2m 57s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 57s
Rust: Lift content reads as taint steps Rust #4718: Pull request #20879 synchronize by paldepind
2m 54s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 54s
Rust: Distinguish &mut T from &T in type inference Rust #4717: Pull request #20973 synchronize by hvitved
2m 44s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 44s