Detects ReDoS patterns through static analysis and timed execution. Identifies nested quantifiers, ambiguous alternation, and exponential complexity triggers.
Static analysis + timing test across multiple input lengths to detect superlinear growth.