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.DataFlowPrivatePredicates
| defToFirstUse | |
| definitionFlowStep | Holds if |
| expressionFlowStep | |
| localFlowStep | |
| useToNextUse | |
| useUseFlowStep |