Value-range analysis of C programs towards proving the absence of buffer overflow vulnerabilities - Simon, Axel (Springer, 2008)