Predicate signature InputSig::defaultAdditionalTaintStep
Holds if the additional step from src to sink should be included in all
global taint flow configurations.
signature predicate defaultAdditionalTaintStep(Node src, Node sink, string model)Holds if the additional step from src to sink should be included in all
global taint flow configurations.
signature predicate defaultAdditionalTaintStep(Node src, Node sink, string model)