Module SsaComputeImpl::EssaDefinitionsImpl
Import path
import semmle.python.essa.SsaCompute
Predicates
phiNode | Holds if there is a phi node for |
piNode | Holds if |
variableDefinition | Whether |
variableRefinement | Whether |
variableUpdate |
import semmle.python.essa.SsaCompute
phiNode | Holds if there is a phi node for |
piNode | Holds if |
variableDefinition | Whether |
variableRefinement | Whether |
variableUpdate |