Module StepRelationTransformations

A module for transforming step relations.

Import path

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

IncludePostUpdateFlow	A module to add steps from post-update nodes. Whenever there is a step from `x` to `y`, we add a step from `[post] x` to `y`.
PhaseDependentFlow	A module to separate import-time from run-time.

Holds if there is a step from nodeFrom to nodeTo in the step relation to be transformed.