Skip to content
CodeQL

Add simple, new auto-vex reachability: Emit OpenVEX vulnerable_code_not_in_execute_path statements when affected functions aren't imported by the release binary #30

Sign in to view logs

Add simple, new auto-vex reachability: Emit OpenVEX vulnerable_code_not_in_execute_path statements when affected functions aren't imported by the release binary

Add simple, new auto-vex reachability: Emit OpenVEX vulnerable_code_not_in_execute_path statements when affected functions aren't imported by the release binary #30

Triggered via pull request May 2, 2026 23:45
@ebourgeoisebourgeois
synchronize #55
phase-3-auto-vex-reachability
Status Success
Total duration 5m 16s
Artifacts –

codeql.yaml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
🔍 CodeQL - actions
Starting April 2026, the CodeQL Action will skip computing file coverage information on pull requests to improve analysis performance. File coverage information will still be computed on non-PR analyses. To opt out of this change, set the `CODEQL_ACTION_FILE_COVERAGE_ON_PRS` environment variable to `true`. Alternatively, create a custom repository property with the name `github-codeql-file-coverage-on-prs` and the type "True/false", then set this property to `true` in the repository's settings.
🔍 CodeQL - javascript-typescript
Starting April 2026, the CodeQL Action will skip computing file coverage information on pull requests to improve analysis performance. File coverage information will still be computed on non-PR analyses. To opt out of this change, set the `CODEQL_ACTION_FILE_COVERAGE_ON_PRS` environment variable to `true`. Alternatively, create a custom repository property with the name `github-codeql-file-coverage-on-prs` and the type "True/false", then set this property to `true` in the repository's settings.
🔍 CodeQL - rust
Starting April 2026, the CodeQL Action will skip computing file coverage information on pull requests to improve analysis performance. File coverage information will still be computed on non-PR analyses. To opt out of this change, set the `CODEQL_ACTION_FILE_COVERAGE_ON_PRS` environment variable to `true`. Alternatively, create a custom repository property with the name `github-codeql-file-coverage-on-prs` and the type "True/false", then set this property to `true` in the repository's settings.