Value-range analysis of C programs: towards proving the absence of buffer overflow vulnerabilities

This title describes a static analysis for detecting buffer overflows.

A buffer overflow in a C program occurs when input is read into a memory buffer whose length exceeds that of the buffer.

Overflows usually lead to crashes and may even enable a malicious person to gain control over a computer system.