Predicate TaintFlowMakeCore::AddSpeculativeTaintSteps::isBarrierIn
Holds if data flow into node is prohibited when the target flow state is state.
Import path
import codeql.dataflow.TaintTrackingpredicate isBarrierIn(Node node, FlowState state)Holds if data flow into node is prohibited when the target flow state is state.
import codeql.dataflow.TaintTrackingpredicate isBarrierIn(Node node, FlowState state)