Predicate polynimalReDoS
Holds if repetitions of pump
at t
will cause polynomial backtracking.
Import path
import semmle.javascript.security.performance.SuperlinearBackTracking
predicate polynimalReDoS(RegExpTerm t, string pump, string prefixMsg, RegExpTerm prev)