Describes a static analysis for detecting buffer overflows. This book covers the buffer overflow in a C program that 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.