Predicate signature Configs::isBarrierIn
Holds if data flow into node is prohibited when the target flow state is state.
Import path
import codeql.dataflow.DataFlowsignature predicate isBarrierIn(Node node, FlowState state)Holds if data flow into node is prohibited when the target flow state is state.
import codeql.dataflow.DataFlowsignature predicate isBarrierIn(Node node, FlowState state)