Module Make

Module implementing classes and predicates reasoing about bad tag filter vulnerabilities.

Import path

import codeql.regex.nfa.BadTagFilterQuery

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

Holds if regexp matches some HTML tags, but misses some HTML tags that it should match.

A regexp that matches some string from the isBadTagFilterCandidate predicate.

TreeImpl