CodeQL library for JavaScript

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)