Module RegexpMatching
Provides predicates for reasoning about which strings are matched by a regular expression, and for testing which capture groups are filled when a particular regexp matches a string.
Import path
import codeql.regex.nfa.RegexpMatchingModules
| Make | A parameterized module implementing the analysis described in the above papers. |