Predicate TaintFlowMakeCore::AddSpeculativeTaintSteps::isBarrierOut
Holds if data flow out of node is prohibited when the originating flow state is state.
Import path
import codeql.dataflow.TaintTrackingpredicate isBarrierOut(Node node, FlowState state)