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