Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

322 pages | Springer; 1st Edition. edition (June 19, 2008) | ISBN-10: 1848000162 | PDF | 1 Mb

Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. A buffer overflow in a C…

Writing Solid Code: Microsoft's Techniques for Developing Bug-Free C Programs

Microsoft Press | January-1-1993 | ISBN: 1556155514 | 256 pages | PDF | 11.4MB

"This book has useful things to say and an engaging way of saying them...a worthwhile addition to the shelves of any full-time programmer." - PC Week. Here,…

Axel Simon, "Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities"

Springer | 2008 | ISBN: 1848000162 | 300 pages | PDF | 2,7 MB

Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. A buffer overflow in a C program occurs when…

The lint program checker has proven time and again to be one of the best tools for finding portability problems and certain types of coding errors in C programs. lint verifies a program or program segments against standard libraries, checks the code for common portability errors, and tests the programming…

Elements of Style: The Programmer's Style Manual for Elegant C and C Programs

Publisher: M