CodeQL library for Python
codeql/python-all 0.11.13 (changelog, source)
Search

Module VariableCapture

Provides logic related to captured variables.

Import path

import semmle.python.dataflow.new.internal.VariableCapture

Predicates

Aliases

CapturedVariable

A variable that is captured in a closure.

ClosureExpr

An expression constructing a closure that may capture one or more variables. This can for example be a lambda or a constructor call of a locally defined object.

Flow

Constructs the type ClosureNode and associated step relations, which are intended to be included in the data-flow node and step relations.