CodeQL library for C/C++
Search

Member predicate TaintTracking::Configuration::isSanitizerGuard

Holds if taint propagation through nodes guarded by guard is prohibited.

predicate isSanitizerGuard(BarrierGuard guard)