Value-range analysis of C programs
Subtitle: towards proving the absence of buffer overflow vulnerabilities
By: Axel Simon.
Publisher: Springer
Published: 2008
Place of publication: London
Language: eng
Number of pages: 300
ISBN-13: 9781848000162; 9781848000179
Subjects: C (Computer program language); Memory management (Computer science)
Notes: Includes bibliographical references and index.