import python private import semmle.python.regexp.RegexTreeView::RegexTreeView as TreeView import codeql.regex.nfa.SuperlinearBackTracking::Make from PolynomialBackTrackingTerm t select t.(TreeView::RegExpTerm).getRegex(), t, t.getReason()