Intelligent
ReDoS Detection.
Mathematical ReDoS detection using Thompson NFA construction, epsilon transition elimination, and spectral radius analysis to identify exponential backtracking patterns.
Spectral AnalysisThompson NFAZero False Positives
Spectral Analysis
Constructs Thompson NFA, eliminates epsilon transitions, and computes spectral radius of adjacency matrix to detect exponential growth.
Deterministic Detection
Analyzes automaton structure mathematically without executing test strings. Eigenvalue > 1 indicates exponential backtracking vulnerability.
λ
Eigenvalue Analysis
Uses power iteration to compute largest eigenvalue of transition matrix. Mathematical proof guarantees accurate ReDoS detection.
Prevent ReDoS attacks. Secure by default.
Stop catastrophic backtracking before it freezes your event loop.