CodeQL library for Java
codeql/java-all 0.3.2 (changelog, source)

Predicate hasReDoSResult

Holds if the state s (represented by the term t) can have backtracking with repetitions of pump.

prefixMsg contains a friendly message for a prefix that reaches s (or prefixMsg is the empty string if the prefix is empty or if no prefix could be found).

Import path

predicate hasReDoSResult(RegExpTerm t, string pump, State s, string prefixMsg)