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
)