by Axel Simon (Author)
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.
Format: Hardcover
Pages: 322
Edition: 1st Edition.
Publisher: Springer
Published: 18 Jul 2008
ISBN 10: 1848000162
ISBN 13: 9781848000162