Contact
How to shop
Delivery
Shopping guide
Value-Range Analysis of C Programs
Towards Proving the Absence of Buffer Overflow Vulnerabilities
English
425 b
30-day return policy
Customers also purchased
/
Paperback
16.45
€
/
Paperback
17.36
€
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.
About the book
English
Categories
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
26.85
€
/
Paperback
51.59
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?