Predicate signature Make::DataFlowIntegration::WithState::guardChecksDefSig
Holds if the guard g validates the SSA definition def upon
evaluating to val, blocking flow in the given state.
Import path
import codeql.ssa.Ssasignature predicate guardChecksDefSig(Guard g, Definition def, GuardValue val, State state)