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