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
Holds if the state
Predicates for constructing a prefix string that leads to a given state.
A state within a regular expression that contains a candidate state.