Module Make::Logic::ParameterizedValidationWrapper

Extends a BarrierGuard input predicate with wrapped invocations.

Import path

import codeql.controlflow.Guards

guardChecks	Holds if the guard `g` validates the expression `e` upon evaluating to `val`.
guardChecksDef	Holds if the guard `g` validates the SSA definition `def` upon evaluating to `val`.

P		ParamSig
guardChecks0		guardChecksSig