hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Clean up following merge.

Browse Source
This commit is contained in:
Geoffrey White
2025-12-04 17:55:34 +00:00
parent b7402fef09
commit 4109848927
1 changed files with 2 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
rust/ql/lib/codeql/rust/security/AccessAfterLifetimeExtensions.qll
View File

@@ -99,16 +99,10 @@ module AccessAfterLifetime {
// `b` is a child of `a` // `b` is a child of `a`
a = b.getEnclosingBlock*() a = b.getEnclosingBlock*()
or or
// propagate through function calls (static target) // propagate through function calls
exists(Call call | exists(Call call |
mayEncloseOnStack(a, call.getEnclosingBlock()) and mayEncloseOnStack(a, call.getEnclosingBlock()) and
call.getStaticTarget() = b.getEnclosingCallable() [call.getStaticTarget(), call.getARuntimeTarget()] = b.getEnclosingCallable()
)
or
// propagate through function calls (runtime target)
exists(Call c |
mayEncloseOnStack(a, c.getEnclosingBlock()) and
c.getARuntimeTarget() = b.getEnclosingCallable()
) )
} }