Simon, Axel. <br/><br/>
Value-range analysis of C programs  towards proving the absence of buffer overflow vulnerabilities /  [electronic resource] : 
by Axel Simon. 
 - London :  Springer-Verlag London,  c2008. 
 - xxii, 300 p. :  ill., digital ;  25 cm. 
<br/><br/><label>ISBN: </label>9781848000179 (electronic bk.) 9781848000162 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>C (Computer program language)<br/>Memory management (Computer science)<br/>Numeric Computing.<br/>Software Engineering.<br/>Logics and Meanings of Programs.<br/>Computer Science.
<br/><br/><label>LC Class. No.: </label>QA76.73.C15  / S545 2008 
<br/><br/><label>Dewey Class. No.: </label>005.435