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
)