Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll

yoff · RasmusWL · web-flow · commit b07316f4ae04 · 2023-12-15T13:41:04.000+01:00
Co-authored-by: Rasmus Wriedt Larsen &lt;rasmuswriedtlarsen@gmail.com&gt;
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -422,6 +422,8 @@ module VariableCapture {
       Function f;
 
       CapturedVariable() {
+        // note: captured variables originating on module scope is currently
+        // covered by global variable handling.
         this.getScope() = f and
         this.getAnAccess().getScope() != f
       }

Original file line number	Diff line number	Diff line change
`@@ -422,6 +422,8 @@ module VariableCapture {`
`422`	`422`	`Function f;`
`423`	`423`
`424`	`424`	`CapturedVariable() {`
	`425`	`+ // note: captured variables originating on module scope is currently`
	`426`	`+ // covered by global variable handling.`
`425`	`427`	`this.getScope() = f and`
`426`	`428`	`this.getAnAccess().getScope() != f`
`427`	`429`	`}`