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

Python: remove non-local steps

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-12-16 01:03:27 +01:00
parent 661ba1ca7b
commit b505778bc8
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -304,7 +304,9 @@ module LocalFlow {
// 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
nodeTo.asExpr() = any(VariableCapture::CapturedVariable c).getAStore()
nodeTo.asExpr() = any(VariableCapture::CapturedVariable c).getAStore() and
// Exclude assignments to parameters. These are from default values and not local.
not nodeTo instanceof ParameterNode
or
// With definition
// `with f(42) as x:`