Predicate defaultImplicitTaintRead
Holds if default TaintTracking::Configuration
s 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, ContentSet c)