Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. While the book focuses on a sound analysis of C, it will be useful to researchers and students interested in static analysis of real-world programming languages.