From 836b667a62e75755066cfff1202eb09fdf799980 Mon Sep 17 00:00:00 2001 From: Tom Hvitved Date: Mon, 5 Jan 2026 19:47:02 +0100 Subject: [PATCH] Address review comment --- rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql b/rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql index 05656bdf8a0..2f299167893 100644 --- a/rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql +++ b/rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql @@ -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