Predicate Make :: getReasonString
Gets a message for why term
can cause polynomial backtracking.
Import path
import codeql.regex.nfa.SuperlinearBackTracking
string
getReasonString
(
RegExpTerm
term
,
string
pump
,
string
prefixMsg
,
RegExpTerm
prev
)