Member predicate DataFlow :: Configuration :: isAdditionalFlowStep
INTERNAL: This predicate should not normally be used outside the data flow library.
Holds if src -> trg
should be considered as a flow edge
in addition to standard data flow edges, with valuePreserving
indicating whether the step preserves values or just taintedness.
predicate
isAdditionalFlowStep
(
Node
src
,
Node
trg
,
boolean
valuePreserving
)