diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll index 61d84764d87c..d59f6656a3be 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll @@ -297,7 +297,8 @@ module LocalFlow { // nodeTo is `x` exists(AssignmentDefinition def | nodeFrom.(CfgNode).getNode() = def.getValue() and - nodeTo.(CfgNode).getNode() = def.getDefiningNode() + nodeTo.(CfgNode).getNode() = def.getDefiningNode() and + not exists(VariableCapture::CapturedVariable v | v.getAStore() = nodeTo.asExpr()) ) or // With definition