Detect Integer Underflow (Wrap or Wraparound) with Automated Static Analysis
Documented detection approaches include Automated Static Analysis; recorded impacts include DoS: Crash, Exit, or Restart, DoS: Resource Consumption (CPU), DoS: Resource Consumption (Memory), DoS: Instability, and Modify Memory; observed examples include CVE-2004-0816, CVE-2004-1002, and CVE-2005-0199. Use these source-defined anchors to turn CWE-191 into implementation, review, and verification checks for the affected component.
CWE-191: Integer Underflow (Wrap or Wraparound) — MITRE CWE