Module NfaUtils
Provides classes and predicates for constructing an NFA from a regular expression, and various utilities for reasoning about the resulting NFA.
These utilities are used both by the ReDoS queries and by other queries that benefit from reasoning about NFAs.
Import path
import semmle.code.java.security.regexp.NfaUtils
Imports
| Dep |
Classes and predicates that create an NFA and various algorithms for working with it. |