Value-Range Analysis of C Programs
Subtitle: Towards Proving the Absence of Buffer Overflow Vulnerabilities
Publisher: Springer London, Limited
Published: 2011
Language: eng
ISBN-13: 9781849967020
Subjects: C (computer program language); Memory management (computer science)