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

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

by Axel Simon (Author)

Synopsis

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.

$226.25

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 322
Edition: 1st Edition.
Publisher: Springer
Published: 18 Jul 2008

ISBN 10: 1848000162
ISBN 13: 9781848000162