Module Make::Logic::ValidationWrapper
Extends a BarrierGuard input predicate with wrapped invocations.
Import path
import codeql.controlflow.GuardsPredicates
| guardChecksDef | Holds if the guard |
Parameters
| guardChecks0 | guardChecksSig |
Extends a BarrierGuard input predicate with wrapped invocations.
import codeql.controlflow.Guards| guardChecksDef | Holds if the guard |
| guardChecks0 | guardChecksSig |