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)