Axel Simon Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities. 2008 978-1-84800-016-2 Springer http://www.springer.com/computer/foundations/book/978-1-84800-016-2