Member predicate 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)