Member predicate DataFlowNode :: getALocalFlowSucc
Holds if this node flows to sink
in one step.
tt
is the tainting that occurs during this step.
predicate
getALocalFlowSucc
(
DataFlowNode
sink
,
TaintType
tt
)