Module SsaComputeImpl

Import path

import semmle.python.essa.SsaCompute

defRank	Holds if there is a definition of a variable occurring at the specified rank index in basic block `b`.
defUseRank	Holds if the `rankix`th definition or use of the SSA variable `v` in the basic block `b` occurs at index `i`.
lastRank	Gets the maximum rank index for the given variable and basic block.
ssaDef	Holds if there is a definition of an SSA variable occurring at the specified position. This is either a phi node, a `VariableUpdate`, or a parameter.
ssaDefReachesRank	Holds if the SSA definition reaches the rank index `rankix` in its own basic block `b`.
ssaDefReachesUseWithinBlock	Holds if the SSA definition of `v` at `def` reaches `use` in the same basic block without crossing another SSA definition of `v`.
variableDef
variableDefine
variableRefine
variableUse	Holds if there is a variable access `use` of `v` in `b` at index `i`.