Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Algorithms   Memory Management

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities


Mega Sale! Save 21% on the Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities by Brand: Springer at EMS Linux. MPN: 1, black & white illustrations. Hurry! Limited time offer. Offer valid only while supplies last. Abu?erover?owoccurswheninputiswrittenintoamemorybu?erthatisnot large enough to hold the input. Bu?er over?ows may allow a malicious person to gain


Product Description

Abu?erover?owoccurswheninputiswrittenintoamemorybu?erthatisnot large enough to hold the input. Bu?er over?ows may allow a malicious person to gain control over a computer system in that a crafted input can trick the defectiveprogramintoexecutingcodethatisencodedintheinputitself.They are recognised as one of the most widespread forms of security vulnerability, and many workarounds, including new processor features, have been proposed to contain the threat. This book describes a static analysis that aims to prove the absence of bu?er over?ows in C programs. The analysis is conservative in the sense that it locates every possible over?ow. Furthermore, it is fully automatic in that it requires no user annotations in the input program. Thekeyideaoftheanalysisistoinferasymbolicstateforeachp- gram point that describes the possible variable valuations that can arise at that point. The program is correct if the inferred values for array indices and pointer o?sets lie within the bounds of the accessed bu?er. The symbolic state consists of a ?nite set of linear inequalities whose feasible points induce a convex polyhedron that represents an approximation to possible variable valuations. The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri?cation.Withrespectto operations on string bu?ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Part Number:1, black & white illustrations
Publisher:Springer
Studio:Springer
MPN:1, black & white illustrations
EAN:9781848000162
Item Weight:1.39 pounds
Item Size:0.75 x 9.21 x 9.21 inches
Package Weight:1.3 pounds
Package Size:6.3 x 1 x 1 inches

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities by Brand: Springer

Buy Now:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

Brand: Brand: Springer
4.7 out of 5 stars with 32 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$169.00
$134.30
You Save: 21%


Quantity:  

 


View More In Memory Management.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9783319477220, isbn: 3319477226,
This book provides students and practicing chip designers with an easy-to-follow yet thorough, introductory treatment of the most promising emerging memories under development in the industry.  Focusing on the chip designer rather than the end use...

ean: 9783319553054, isbn: 3319553054,
This book provides a comprehensive introduction to embedded flash memory, describing the history, current status, and future projections for technology, circuits, and systems applications. The authors describe current main-stream embedded flash techn...

ean: 9781418837693, isbn: 1418837695,
Principles of Operating Systems: Design and Applications is an ideal resource for anyone who wants to gain a basic understanding of operating systems in the context of the applications in which they are used. The main focus of this text is to foster ...

ean: 9780818677373, isbn: 0818677376,
The papers present in this text survey both distributed shared memory (DSM) efforts and commercial DSM systems. The book discusses relevant issues that make the concept of DSM one of the most attractive approaches for building large-scale, high-perfo...

ean: 9789401775106, isbn: 9401775109,
This book walks the reader through the next step in the evolution of NAND flash memory technology, namely the development of 3D flash memories, in which multiple layers of memory cells are grown within the same piece of silicon.  It describes their ...

mpn: 95 black & white illustrations, 2 black, ean: 9783540663874, isbn: 3540663878,
This is the first comprehensive book on ferroelectric memories which contains chapters on device design, processing, testing, and device physics, as well as on breakdown, leakage currents, switching mechanisms, and fatigue. State-of-the-art device de...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.