Member predicate TaintTracking::Configuration::isAdditionalFlowStep
Holds if src -> dest should be considered as a flow edge
in addition to standard data flow edges.
predicate isAdditionalFlowStep(Node src, Node dest)Holds if src -> dest should be considered as a flow edge
in addition to standard data flow edges.
predicate isAdditionalFlowStep(Node src, Node dest)