Rust: Add local data flow edge for SSA nodes #18026
Merged
GitHub Advanced Security / CodeQL
completed
Nov 19, 2024 in 9s
4 configurations not found
Warning: Code scanning may not have found all the alerts introduced by this pull request, because 4 configurations present on refs/heads/main
were not found:
Actions workflow (csv-coverage-metrics.yml
)
- ❓
.github/workflows/csv-coverage-metrics.yml:publish-csharp
- ❓
.github/workflows/csv-coverage-metrics.yml:publish-java
Actions workflow (codeql-analysis.yml
)
- ❓
.github/workflows/codeql-analysis.yml:CodeQL-Build
Actions workflow (cpp-swift-analysis.yml
)
- ❓
.github/workflows/cpp-swift-analysis.yml:CodeQL-Build
New alerts in code changed by this pull request
- 1 warning
- 1 note
See annotations below for details.
Annotations
Check warning on line 115 in rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
Code scanning / CodeQL
UnusedField Warning
but does not bind it in the characteristic predicate of any class between it and .
Check notice on line 7 in rust/ql/test/library-tests/dataflow/local/main.rs
Code scanning / CodeQL
Unused variable Note test
Loading