Predicate regexMatchedAgainst

Holds if the string literal regex is a regular expression that is matched against the expression str.

As an optimisation, only regexes containing an infinite repitition quatifier (+, *, or {x,}) and therefore may be relevant for ReDoS queries are considered.

Import path

import semmle.code.java.regex.RegexFlowConfigs

predicate regexMatchedAgainst(StringLiteral regex, Expr str)