CodeQL library for Java/Kotlin
codeql/java-all 1.1.2-dev (changelog, source)

Predicate Make::ReDoSPruning::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

import codeql.regex.nfa.NfaUtils
predicate hasReDoSResult(RegExpTerm t, string pump, State s, string prefixMsg)