Member predicate StackVariableReachabilityWithReassignment :: isSink
Holds if sink
is a (potential) sink for the reachability analysis using variable v
.
predicate
isSink
(
ControlFlowNode
node
,
StackVariable
v
)