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

Update rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

Browse Source 
Co-authored-by: Tom Hvitved <hvitved@github.com>
This commit is contained in:
Simon Friis Vindum
2024-12-04 10:37:30 +01:00
committed by GitHub
parent bb015cf56d
commit 33fe51da4e
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
View File

@@ -1024,10 +1024,9 @@ module RustDataFlow implements InputSig<Location> {
/** Holds if `creation` is an expression that creates a lambda of kind `kind` for `c`. */
predicate lambdaCreation(Node creation, LambdaCallKind kind, DataFlowCallable c) {
exists(Expr cl |
exists(ClosureExpr cl |
cl = creation.asExpr().getExpr() and
cl = c.asCfgScope() and
cl instanceof ClosureExpr
cl = c.asCfgScope()
) and
exists(kind)
}