CodeQL library for Python
codeql/python-all 0.7.1 (changelog, source)
Search

Module Make

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

Import path

import codeql.regex.nfa.RegexpMatching

Imports

Make<RegexTreeView::TreeImpl>

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

Classes

RootTerm

A root term

Modules

RegexpMatching

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

Predicate signatures

isRegexpMatchingCandidateSig

Holds if it should be tested whether root matches str.

Parameters