Editors:
- Complete formal specification of a static analysis of a real-world programming language
- New techniques to soundly handle the wrapping of integers, overlapping memory accesses and pointer arithmetic, thereby providing an analysis of C that is faithful to the bit-level
- Includes supplementary material: sn.pub/extras
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 chapters)
-
Front Matter
-
Abstracting Soundly
-
Front Matter
-
-
Ensuring Efficiency
-
Front Matter
-
-
Improving Precision
-
Front Matter
-
-
Back Matter
About this book
Reviews
From the reviews:
"This book describes a static analysis that aims to prove the absence of buffer overflows in C programs. … The book formally describes how program operations are mapped to operations on polyhedra. … Many concepts presented here carry over to other languages such as Java or assembler. So it will be useful to any researcher and student with an interest in static analysis of real-world programming languages." (Stefan Meyer, Zentralblatt MATH, Vol. 1155, 2009)
Bibliographic Information
Book Title: Value-Range Analysis of C Programs
Book Subtitle: Towards Proving the Absence of Buffer Overflow Vulnerabilities
Editors: Axel Simon
DOI: https://doi.org/10.1007/978-1-84800-017-9
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2008
Hardcover ISBN: 978-1-84800-016-2Published: 26 June 2008
Softcover ISBN: 978-1-84996-702-0Published: 15 May 2011
eBook ISBN: 978-1-84800-017-9Published: 10 March 2010
Edition Number: 1
Number of Pages: XXII, 302
Number of Illustrations: 119 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Software Engineering, Numeric Computing