Predicate TaintFlowMakeCore::AddTaintDefaults::isBarrier
Holds if data flow through node is prohibited. This completely removes
node from the data flow graph.
Import path
import codeql.dataflow.TaintTrackingHolds if data flow through node is prohibited. This completely removes
node from the data flow graph.
import codeql.dataflow.TaintTracking