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 - 1st Ed. - New Delhi Springer 2010 - 300 p. [86]

9788184895599

005.435 / SIM/VAL