Member predicate AdditionalTaintStep::step
Holds if the step from nodeFrom
to nodeTo
should be considered a taint
step for all configurations.
Holds if the step from nodeFrom
to nodeTo
should be considered a taint
step for all configurations.