Predicate Make :: polynomialReDoS
Holds if repetitions of pump at t will cause polynomial backtracking.
Import path
import codeql.regex.nfa.SuperlinearBackTracking
predicate
polynomialReDoS
(
RegExpTerm
t
,
string
pump
,
string
prefixMsg
,
RegExpTerm
prev
)