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

⌥ + 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
Rust: Source/sink/barrier MaD trait models apply to implementations Check overlay annotations #9356: Pull request #22445 synchronize by hvitved
20s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
20s
Rust: update rust-analyzer to 0.0.347 Check overlay annotations #9355: Pull request #22346 synchronize by redsun82
24s redsun82-rust-analyzer-update
redsun82-rust-analyzer-update
24s
Merge pull request #22446 from github/rust/reuse-cargo-target-dir Check overlay annotations #9354: Commit 95c30d3 pushed by paldepind
21s main
main
21s
Rust: Source/sink/barrier MaD trait models apply to implementations Check overlay annotations #9353: Pull request #22445 synchronize by hvitved
22s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
22s
Documentation Actions EnvironmentCheck Check overlay annotations #9352: Pull request #22454 synchronize by knewbury01
20s knewbury01:knewbury01/customize-actions-sanitizers-documentation
knewbury01:knewbury01/customize-actions-sanitizers-documentation
20s
cpp: Add 'cpp/mmio-unsanitized-memcpy' query Check overlay annotations #9351: Pull request #22438 synchronize by Tito0015
Action required Tito0015:feature/cpp-mmio-unsanitized-memcpy
Tito0015:feature/cpp-mmio-unsanitized-memcpy
Action required
cpp: Add 'cpp/mmio-unsanitized-memcpy' query Check overlay annotations #9350: Pull request #22438 synchronize by Tito0015
Action required Tito0015:feature/cpp-mmio-unsanitized-memcpy
Tito0015:feature/cpp-mmio-unsanitized-memcpy
Action required
FlowSummaryImpl: Model more source/sink steps as jump steps Check overlay annotations #9349: Pull request #22470 synchronize by hvitved
22s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
22s
Rust: Exclude taint-read-steps for axum::extract::state::State Check overlay annotations #9348: Pull request #22471 opened by hvitved
20s hvitved:rust/exclude-axum-state-steps
hvitved:rust/exclude-axum-state-steps
20s
C#: Re-factor to allow better unit testing. Check overlay annotations #9347: Pull request #22468 synchronize by michaelnebel
25s michaelnebel:csharp/refactorfeedmanager
michaelnebel:csharp/refactorfeedmanager
25s
C#: Re-factor to allow better unit testing. Check overlay annotations #9346: Pull request #22468 synchronize by michaelnebel
25s michaelnebel:csharp/refactorfeedmanager
michaelnebel:csharp/refactorfeedmanager
25s
FlowSummaryImpl: Model more source/sink steps as jump steps Check overlay annotations #9345: Pull request #22470 opened by hvitved
24s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
24s
C#: Re-factor to allow better unit testing. Check overlay annotations #9344: Pull request #22468 synchronize by michaelnebel
22s michaelnebel:csharp/refactorfeedmanager
michaelnebel:csharp/refactorfeedmanager
22s
Rust: update rust-analyzer to 0.0.347 Check overlay annotations #9343: Pull request #22346 synchronize by redsun82
22s redsun82-rust-analyzer-update
redsun82-rust-analyzer-update
22s
Merge pull request #22457 from github/hvitved-angle-bracket-trait-paths Check overlay annotations #9342: Commit bb10ccb pushed by hvitved
22s main
main
22s
Rust: Source/sink/barrier MaD trait models apply to implementations Check overlay annotations #9341: Pull request #22445 synchronize by hvitved
19s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
19s
Rust: Use angle brackets for trait item canonical paths Check overlay annotations #9340: Pull request #22457 synchronize by hvitved
20s hvitved-angle-bracket-trait-paths
hvitved-angle-bracket-trait-paths
20s
C#: Re-factor to allow better unit testing. Check overlay annotations #9339: Pull request #22468 synchronize by michaelnebel
19s michaelnebel:csharp/refactorfeedmanager
michaelnebel:csharp/refactorfeedmanager
19s
Unified: Add Callable type Check overlay annotations #9338: Pull request #22469 opened by aschackmull
21s aschackmull:unified/callable
aschackmull:unified/callable
21s
C#: Re-factor to allow better unit testing. Check overlay annotations #9337: Pull request #22468 opened by michaelnebel
25s michaelnebel:csharp/refactorfeedmanager
michaelnebel:csharp/refactorfeedmanager
25s
Merge pull request #22449 from trail-of-forks/kumarak/cpp-libpq-sql-s… Check overlay annotations #9336: Commit ce0e2ad pushed by jketema
25s main
main
25s
Java: model org.apache.commons.xml XmlFactories as safe XXE sources Check overlay annotations #9335: Pull request #22269 synchronize by ppkarwasz
Action required ppkarwasz:feat/xml-commons
ppkarwasz:feat/xml-commons
Action required
Merge pull request #22467 from jketema/jketema/test-stable Check overlay annotations #9334: Commit 973d5b5 pushed by jketema
22s main
main
22s
C++: Improve test stability when models are added Check overlay annotations #9333: Pull request #22467 opened by jketema
54s jketema:jketema/test-stable
jketema:jketema/test-stable
54s
Rust: Enable LTO for the extractor Check overlay annotations #9332: Pull request #22461 synchronize by paldepind
22s rust/enable-lto
rust/enable-lto
22s