CSU-Carig
Simon, Axel
Value-range analysis of C programs : [electronic resource] towards proving the absence of buffer overflow vulnerabilities / - London [u.a.] : Springer, 2008 - one online resource, 301 pages : illustrations ;
Description based on print version record
9781848000179 1848000170
C (Computer program language)
Memory management (Computer science)
620.00420285536
Value-range analysis of C programs : [electronic resource] towards proving the absence of buffer overflow vulnerabilities / - London [u.a.] : Springer, 2008 - one online resource, 301 pages : illustrations ;
Description based on print version record
9781848000179 1848000170
C (Computer program language)
Memory management (Computer science)
620.00420285536