Member predicate TaintTracking::Configuration::isBarrierGuard
DEPRECATED: Use isBarrier
and BarrierGuard
module instead.
Holds if data flow through nodes guarded by guard
is prohibited when
the flow state is state
predicate isBarrierGuard(BarrierGuard guard, FlowState state)