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

Module LocalFlow

A module to compute local flow.

Flow will generally go from control flow nodes for expressions into control flow nodes for variables at definitions, and from there via use-use flow to other control flow nodes.

Some syntaxtic constructs are handled separately.

Import path

import semmle.python.dataflow.new.internal.DataFlowPrivate

Predicates

defToFirstUse
definitionFlowStep

Holds if nodeFrom is the expression defining the value for the variable nodeTo.

expressionFlowStep
localFlowStep
useToNextUse
useUseFlowStep