Reachability analysis proves whether an execution path actually exists from untrusted input to a vulnerable function ‑ the difference between a backlog and a work queue.
- Most flagged findings are never callable ‑ unreachable code drives ~92% false-positive rates.
- Reachability answers the question that governs risk: can your app's logic ever reach the flaw?
- Paired with exploitability, it turns an undifferentiated backlog into a ranked, evidence-based queue.