Predicate Make :: isReDoSCandidate
Holds if states starting in state can have polynomial backtracking with the string pump.
Import path
import codeql.regex.nfa.SuperlinearBackTracking
predicate
isReDoSCandidate
(
State
state
,
string
pump
)