Member predicate ControlFlowNode::pointsTo
Gets the value and origin that this ControlFlowNode points-to.
predicate pointsTo(Value value, ControlFlowNode origin)
Gets the value and origin that this ControlFlowNode points-to.
predicate pointsTo(Value value, ControlFlowNode origin)