Predicate signature Make::DataFlowIntegration::WithState::guardChecksSig
Holds if the guard g validates the expression e upon evaluating to val, blocking
flow in the given state.
The expression e is expected to be a syntactic part of the guard g.
For example, the guard g might be a call isSafe(x) and the expression e
the argument x.
Import path
import codeql.ssa.Ssasignature predicate guardChecksSig(Guard g, Expr e, GuardValue val, State state)