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

Module StepRelationTransformations

A module for transforming step relations.

Import path

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

Modules

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.

Predicate signatures

stepSig

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