Member predicate DataFlow::Configuration::isBarrierGuard
DEPRECATED: Use isBarrier
and BarrierGuard
module instead.
Holds if data flow through nodes guarded by guard
is prohibited.
predicate isBarrierGuard(BarrierGuard guard)
DEPRECATED: Use isBarrier
and BarrierGuard
module instead.
Holds if data flow through nodes guarded by guard
is prohibited.
predicate isBarrierGuard(BarrierGuard guard)