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)
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)