You might also like

More about Value-Range Analysis of C Programs

• Book details
• Synopsis
• Trending among others

You get 406 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

• Full title: Value-Range Analysis of C Programs
• Subtitle: Towards Proving the Absence of Buffer Overflow Vulnerabilities
• Author: Axel Simon
• Language: English
• Binding: Hardback
• Number of pages: 302
• EAN: 9781848000162
• ISBN: 1848000162
• ID: 01433811
• Publisher: Springer London Ltd
• Weight: 1390 g
• Dimensions: 235 × 155 × 24 mm
• Date of publishing: 19. June 2008

Trending among others

---

---

---