TY  - BOOK
AU  - Simon,Axel
TI  - Value-range analysis of C programs: towards proving the absence of buffer overflow vulnerabilities 
SN  - 9781848000162
PY  - 2008///
CY  - London
PB  - Springer
KW  - C (Computer program language)
KW  - Memory management (Computer science)
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/toc/fy1001/2008930099.html
ER  -