Value-Range Analysis of C Programs
Subtitle: Towards Proving the Absence of Buffer Overflow Vulnerabilities
Publisher: Springer
Format: unknown binding
ISBN-13: 9781848009684
Notes: Source title: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities