hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-11 20:51:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Address review comment

Browse Source
This commit is contained in:
Tom Hvitved
2026-01-05 19:47:02 +01:00
parent 2543754dd4
commit 836b667a62
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql
View File

@@ -59,7 +59,10 @@ predicate sourceBlock(Source s, Variable target, BlockExpr be) {
sourceValueScope(s, target, be.getEnclosingBlock*())
}
predicate sinkBlock(Sink s, BlockExpr be) { be = s.asExpr().getEnclosingBlock() }
predicate sinkBlock(Sink s, BlockExpr be) {
AccessAfterLifetimeFlow::flow(_, s) and
be = s.asExpr().getEnclosingBlock()
}
private predicate tcStep(BlockExpr a, BlockExpr b) {
// propagate through function calls