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

Module SsaComputeImpl::EssaDefinitionsImpl

Import path

import semmle.python.essa.SsaCompute

Predicates

phiNode

Holds if there is a phi node for v at the beginning of basic block b.

piNode

Holds if def is a pi-node for v on the edge pred -> succ

variableDefinition

Whether n is a live update that is a definition of the variable v.

variableRefinement

Whether n is a live update that is a definition of the variable v.

variableUpdate