Predicate signature Configs::isBarrierOut
Holds if data flow out of node is prohibited when the originating flow state is state.
Import path
import codeql.dataflow.DataFlowsignature predicate isBarrierOut(Node node, FlowState state)Holds if data flow out of node is prohibited when the originating flow state is state.
import codeql.dataflow.DataFlowsignature predicate isBarrierOut(Node node, FlowState state)