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)
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)