Module Make

A parameterized module implementing the analysis described in the above papers.

Import path

import codeql.regex.nfa.RegexpMatching

Classes and predicates that create an NFA and various algorithms for working with it.

A root term

A module for determining if a regexp matches a given string, and reasoning about which capture groups are filled by a given string.

Holds if it should be tested whether root matches str.

TreeImpl