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