Extra Materials Archive

Book cover

Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

© 2008

Hard cover - Print (ISBN: 978-1-84800-016-2)

Soft cover - Print (ISBN: 978-1-84996-702-0)

Electronic (ISBN: 978-1-84800-017-9)

View this book on SpringerLink