Predicate 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.internal.TaintTrackingUtil
predicate
defaultAdditionalTaintStep
(
Node
src
,
Node
sink
)