Member predicate StackVariableReachabilityExt::reaches
See StackVariableReachability.reaches
.
predicate reaches(ControlFlowNode source, SemanticStackVariable v, ControlFlowNode sink)
See StackVariableReachability.reaches
.
predicate reaches(ControlFlowNode source, SemanticStackVariable v, ControlFlowNode sink)