Module PolynomialReDoSQuery
Definitions and configurations for the Polynomial ReDoS query
Import path
import semmle.code.java.security.regexp.PolynomialReDoSQueryImports
| DataFlow | Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses. |
| FlowSources | Provides classes representing various flow sources for taint tracking. |
| RegexFlowConfigs | Defines configurations and steps for handling regexes |
Classes
| PolynomialRedosSink | A sink for polynomial redos queries, where a regex is matched. |
Modules
| PolynomialRedosConfig | A configuration for Polynomial ReDoS queries. |
Aliases
| PolynomialRedosFlow | Constructs a global taint tracking computation. |
| SuperlinearBackTracking | A parameterized module implementing the analysis described in the above papers. |