Predicate signature Configs::StateConfigSig::isBarrierIn
Holds if data flow into node
is prohibited when the target flow state is state
.
signature predicate isBarrierIn(Node node, FlowState state)
Holds if data flow into node
is prohibited when the target flow state is state
.
signature predicate isBarrierIn(Node node, FlowState state)