Value-Range Analysis of C Programs
Springer (6-2008) | PDF | 300 pages | 1848000162 | 5.2Mb
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow /by Axel Simon (Author) .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.
Download Now
Springer (6-2008) | PDF | 300 pages | 1848000162 | 5.2Mb
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow /by Axel Simon (Author) .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.
Download Now
0 comments:
Post a Comment