Predicate defaultImplicitTaintRead
Holds if default TaintTracking::Configurations should allow implicit reads
of c at sinks and inputs to additional taint steps.
Import path
import semmle.code.cpp.ir.dataflow.internal.TaintTrackingUtil
predicate
defaultImplicitTaintRead
(
Node
node
,
Content
c
)