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

Product Details:

Author(s): Axel Simon

Publisher: Springer

Category: C and CPP

Date: 26.06.2008

Pages: 302

Language: English

ISBN-10: 1848000162

ISBN-13: 9781848000162

Format: PDF

Book Description:

Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. A buffer overflow in a C program occurs when input is read into a memory buffer whose length exceeds that of the buffer. Overflows usually lead to crashes and may even enable a malicious person to gain control over a computer system. They are recognised as one of the most widespread forms of computer vulnerability. Based on the analysis of a standard mail-forwarding program, necessary refinements of the basic analysis are examined, thereby paving the way for an analysis that is precise enough to prove the absence of buffer overflows in legacy C code.

Tags: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities by Axel Simon, pdf, epub, mobi, fb2, djvu, lit, txt, rtf, doc, docx, chm, htmlz, lrf, azw, azw3, kindle, ebook