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