Member predicate Configuration :: isAdditionalTaintStep
Holds if the additional taint propagation step from pred
to succ
must be taken into account in the analysis.
predicate
isAdditionalTaintStep
(
Node
pred
,
Node
succ
)