Examples
- (a|a)*b Classic ambiguous alternation (Dangerous)
- (a+)+$ Nested quantifiers (Dangerous)
- ^(([a-z0-9_.-]+)@([a-z0-9.-]+)\.([a-z]{2,6}))?$ Complex email regex (Safe)
- abc.*def Simple dot star (Safe)
A sound static analyzer for exponential ReDoS vulnerabilities.