Detects ReDoS vulnerabilities in regexes using Thompson NFA construction and spectral radius analysis.