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 src, Node dst)
Holds if the additional taint propagation step from pred
to succ
must be taken into account in the analysis.
predicate isAdditionalTaintStep(Node src, Node dst)