Predicate TaintTracking :: defaultAdditionalTaintStep
Holds if the additional step from src to sink should be included in all
global taint flow configurations.
Import path
import semmle.code.cpp.dataflow.TaintTracking
predicate
defaultAdditionalTaintStep
(
Node
src
,
Node
sink
)