Module Make::ReDoSPruning
A module for pruning candidate ReDoS states.
The candidates are specified by the isCandidate signature predicate.
The candidates are checked for rejecting suffixes and deduplicated,
and the resulting ReDoS states are read by the hasReDoSResult predicate.
Import path
import codeql.regex.nfa.NfaUtilsPredicates
| hasReDoSResult | Holds if the state |
Aliases
| Prefix | Predicates for constructing a prefix string that leads to a given state. |
| RelevantState | A state within a regular expression that contains a candidate state. |
Parameters
| isCandidate | isCandidateSig |