Predicate SsaSource::assignment_definition
Holds if v
is defined by assignment at defn
and given value
.
Import path
import python
predicate assignment_definition(Variable v, ControlFlowNode defn, ControlFlowNode value)
Holds if v
is defined by assignment at defn
and given value
.
import python
predicate assignment_definition(Variable v, ControlFlowNode defn, ControlFlowNode value)