Module SsaComputeImpl::EssaDefinitionsImpl

Import path

import semmle.python.essa.SsaCompute

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