Update rust/ql/lib/codeql/rust/security/AccessAfterLifetimeExtensions.qll

geoffw0 · paldepind · web-flow · commit 108db7512450 · 2025-12-05T13:19:38.000Z
Co-authored-by: Simon Friis Vindum &lt;paldepind@github.com&gt;
diff --git a/rust/ql/lib/codeql/rust/security/AccessAfterLifetimeExtensions.qll b/rust/ql/lib/codeql/rust/security/AccessAfterLifetimeExtensions.qll
@@ -102,7 +102,7 @@ module AccessAfterLifetime {
     // propagate through function calls
     exists(Call call |
       mayEncloseOnStack(a, call.getEnclosingBlock()) and
-      [call.getStaticTarget(), call.getARuntimeTarget()] = b.getEnclosingCallable()
+      call.getARuntimeTarget() = b.getEnclosingCallable()
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -102,7 +102,7 @@ module AccessAfterLifetime {`
`102`	`102`	`// propagate through function calls`
`103`	`103`	`exists(Call call \|`
`104`	`104`	`mayEncloseOnStack(a, call.getEnclosingBlock()) and`
`105`		`- [call.getStaticTarget(), call.getARuntimeTarget()] = b.getEnclosingCallable()`
	`105`	`+ call.getARuntimeTarget() = b.getEnclosingCallable()`
`106`	`106`	`)`
`107`	`107`	`}`
`108`	`108`