Value range analysis of C programs : Towards proving the absence of buffer overflow vulnerabilities

Simon, Axel

Value range analysis of C programs : Towards proving the absence of buffer overflow vulnerabilities - New Delhi : Springer, 2008 - xxii, 300p.

9788184895599


Programming language
C programming

005.133 / SI