CodeQL library for JavaScript
Search

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

import semmle.javascript.security.performance.ReDoSUtil
predicate hasReDoSResult(RegExpTerm t, string pump, State s, string prefixMsg)