Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities - Simon, Axel (Springer London, 2008)