Member predicate StackVariableReachabilityWithReassignment::reachesTo
As reaches
, but also specifies the last variable it was reassigned to (v0
).
predicate reachesTo(ControlFlowNode source, SemanticStackVariable v, ControlFlowNode sink, SemanticStackVariable v0)