CodeQL library for C#
Search

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)