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