CodeQL library for Java/Kotlin
codeql/java-all 1.1.0 (changelog, source)
Search

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)