hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: simplify assignments to captured variables

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-12-15 00:34:52 +01:00
parent 2a5736e73d
commit b6123de518
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
View File

@@ -299,11 +299,11 @@ module LocalFlow {
nodeTo.(CfgNode).getNode() = def.getDefiningNode()
)
or
// General definition
// TODO: remove other cases that are now redundant
// Assignment to captured variables
// These are not covered by the `AssignmentDefinition`s in the case above,
// as they are not necessarily live.
nodeFrom.(CfgNode).getNode() = nodeTo.(CfgNode).getNode().(DefinitionNode).getValue() and
// remove jump steps (such as assignment of parameter default values)
nodeFrom.getEnclosingCallable() = nodeTo.getEnclosingCallable()
nodeTo.asExpr() = any(VariableCapture::CapturedVariable c).getAStore()
or
// With definition
// `with f(42) as x:`