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

Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
yoff
2023-12-15 13:41:04 +01:00
committed by GitHub
parent a311582285
commit b07316f4ae

View File

@@ -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
}