import javascript

private import semmle.javascript.security.regexp.RegExpTreeView::RegExpTreeView as TreeView

import codeql.regex.nfa.ExponentialBackTracking::Make<TreeView>

from RegExpTerm t, string pump, State s, string prefixMsg

where hasReDoSResult(t, pump, s, prefixMsg)

select t,

"This part of the regular expression may cause exponential backtracking on strings " + prefixMsg +

"containing many repetitions of '" + pump + "'."