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
)