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