Predicate signature Make::isCandidateSig
Holds if state is a candidate for ReDoS with string pump.
Import path
import codeql.regex.nfa.NfaUtilssignature predicate isCandidateSig(State state, string pump)Holds if state is a candidate for ReDoS with string pump.
import codeql.regex.nfa.NfaUtilssignature predicate isCandidateSig(State state, string pump)