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 / Axel Simon - London : Springer, c2008 - xxii, 300 p. : ill. ; 25 cm.
Includes bibliographical references and index
9781848000162 1848000162
C (Computer program language)
Memory management (Computer science)
Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities / Axel Simon - London : Springer, c2008 - xxii, 300 p. : ill. ; 25 cm.
Includes bibliographical references and index
9781848000162 1848000162
C (Computer program language)
Memory management (Computer science)