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
Support --learn for inline expectation tests Check overlay annotations #10248: Pull request #22228 synchronize by d10c
19s d10c:d10c/learn-inline-expectations-lib
d10c:d10c/learn-inline-expectations-lib
19s
cpp: Model BDE bal codec taint flow Check overlay annotations #10247: Pull request #22537 synchronize by kumarak
32s trail-of-forks:kumarak/cpp-bde-bal-codec-models
trail-of-forks:kumarak/cpp-bde-bal-codec-models
32s
cpp: Model BDE bal codec taint flow Check overlay annotations #10246: Pull request #22537 synchronize by kumarak
33s trail-of-forks:kumarak/cpp-bde-bal-codec-models
trail-of-forks:kumarak/cpp-bde-bal-codec-models
33s
Unified: Distinguish between unsupported and unhandled nodes Check overlay annotations #10245: Pull request #22680 synchronize by tausbn
27s tausbn/unified-distinguish-unhandled-from-unsupported-nodes
tausbn/unified-distinguish-unhandled-from-unsupported-nodes
27s
cpp: Model BDE bal codec taint flow Check overlay annotations #10244: Pull request #22537 synchronize by kumarak
Action required trail-of-forks:kumarak/cpp-bde-bal-codec-models
trail-of-forks:kumarak/cpp-bde-bal-codec-models
Action required
Unified: Type inference first version Check overlay annotations #10243: Pull request #22639 synchronize by hvitved
26s hvitved:unified/type-inference
hvitved:unified/type-inference
26s
cpp: Model BDE bal codec taint flow Check overlay annotations #10242: Pull request #22537 synchronize by kumarak
Action required trail-of-forks:kumarak/cpp-bde-bal-codec-models
trail-of-forks:kumarak/cpp-bde-bal-codec-models
Action required
cpp: Model BDE bal codec taint flow Check overlay annotations #10241: Pull request #22537 synchronize by kumarak
Action required trail-of-forks:kumarak/cpp-bde-bal-codec-models
trail-of-forks:kumarak/cpp-bde-bal-codec-models
Action required
unified: Add path injection query Check overlay annotations #10240: Pull request #22677 synchronize by asgerf
21s asgerf:unified/path-injection
asgerf:unified/path-injection
21s
Merge pull request #22662 from asgerf/unified/mad-approx Check overlay annotations #10239: Commit ccaf910 pushed by asgerf
24s main
main
24s
cpp: model BDE bslx in-stream deserialization taint flow Check overlay annotations #10238: Pull request #22453 synchronize by kumarak
27s trail-of-forks:kumarak/cpp-bde-bslx-models
trail-of-forks:kumarak/cpp-bde-bslx-models
27s
cpp: model BDE bslx in-stream deserialization taint flow Check overlay annotations #10237: Pull request #22453 synchronize by kumarak
Action required trail-of-forks:kumarak/cpp-bde-bslx-models
trail-of-forks:kumarak/cpp-bde-bslx-models
Action required
Rust: Update supported-frameworks.rst and add a few more native-tls models Check overlay annotations #10236: Pull request #22382 synchronize by geoffw0
31s geoffw0:nativetls
geoffw0:nativetls
31s
Merge pull request #22664 from asgerf/unified/wildcard_pattern Check overlay annotations #10235: Commit a7db2a7 pushed by asgerf
23s main
main
23s
Go: fix some duplicate results in go/index-out-of-bounds Check overlay annotations #10234: Pull request #22678 opened by owen-mc
23s owen-mc:go/fix/length-comparison-duplicates
owen-mc:go/fix/length-comparison-duplicates
23s
Unified: Port old MaD models from swift Check overlay annotations #10233: Pull request #22662 synchronize by asgerf
22s asgerf:unified/mad-approx
asgerf:unified/mad-approx
22s
unified: Declare exposed fields on supertypes Check overlay annotations #10232: Pull request #22536 synchronize by asgerf
27s asgerf:unified/supertype-fields
asgerf:unified/supertype-fields
27s
Rust: Update supported-frameworks.rst and add a few more native-tls models Check overlay annotations #10231: Pull request #22382 synchronize by geoffw0
25s geoffw0:nativetls
geoffw0:nativetls
25s
unified: Declare exposed fields on supertypes Check overlay annotations #10230: Pull request #22536 synchronize by asgerf
27s asgerf:unified/supertype-fields
asgerf:unified/supertype-fields
27s
Unified: Port old MaD models from swift Check overlay annotations #10229: Pull request #22662 synchronize by asgerf
38s asgerf:unified/mad-approx
asgerf:unified/mad-approx
38s
Unified: Fix translation of wildcard patterns Check overlay annotations #10228: Pull request #22664 synchronize by asgerf
28s asgerf:unified/wildcard_pattern
asgerf:unified/wildcard_pattern
28s
Merge pull request #22657 from asgerf/unified/unused-variable Check overlay annotations #10227: Commit 9e935d8 pushed by asgerf
26s main
main
26s
Merge pull request #22676 from github/tausbn/yeast-remove-repeated-ph… Check overlay annotations #10226: Commit 1e30c74 pushed by tausbn
22s main
main
22s
Merge pull request #22663 from github/rust/update-toolchain-1.98 Check overlay annotations #10225: Commit 1b20d54 pushed by paldepind
27s main
main
27s
unified: Add path injection query Check overlay annotations #10224: Pull request #22677 synchronize by asgerf
25s asgerf:unified/path-injection
asgerf:unified/path-injection
25s