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