Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities | 
| Author: Axel Simon
Publisher: Springer
Category: Book
List Price: $119.00
Buy New: $111.24
You Save: $7.76 (7%)
New (10) Used (1) from $109.27
Sales Rank: 2030825
Media: Hardcover
Edition: 1
Number Of Items: 1
Pages: 300
Shipping Weight (lbs): 1.3
Dimensions (in): 9.2 x 6.3 x 1
ISBN: 1848000162
Dewey Decimal Number: 005.435
EAN: 9781848000162
Publication Date: June 19, 2008
Availability: Usually ships in 1-2 business days
Shipping: International shipping available
Condition: Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
|
| Also Available In:
|
| Editorial Reviews:
Product 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.
|
|
|
|
