Predicate signature InputSig::speculativeTaintStep
Holds if the additional step from src to sink should be considered in
speculative taint flow exploration.
signature predicate speculativeTaintStep(Node src, Node sink)Holds if the additional step from src to sink should be considered in
speculative taint flow exploration.
signature predicate speculativeTaintStep(Node src, Node sink)