Vor Ort
Merkzettel Warenkorb
  • Produktbild: Value-Range Analysis of C Programs
  • Produktbild: Value-Range Analysis of C Programs
- 13%

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

13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.05.2011

Abbildungen

XXII, 302 p. 119 illus.

Verlag

Springer London

Seitenzahl

302

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

Softcover reprint of hardcover 1st edition 2008

Sprache

Englisch

ISBN

978-1-84996-702-0

Beschreibung

Rezension

From the reviews:



"This book describes a static analysis that aims to prove the absence of buffer overflows in C programs. … The book formally describes how program operations are mapped to operations on polyhedra. … Many concepts presented here carry over to other languages such as Java or assembler. So it will be useful to any researcher and student with an interest in static analysis of real-world programming languages." (Stefan Meyer, Zentralblatt MATH, Vol. 1155, 2009)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.05.2011

Abbildungen

XXII, 302 p. 119 illus.

Verlag

Springer London

Seitenzahl

302

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

Softcover reprint of hardcover 1st edition 2008

Sprache

Englisch

ISBN

978-1-84996-702-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Value-Range Analysis of C Programs
  • Produktbild: Value-Range Analysis of C Programs

  • From the Contents: Preface.- Introduction.-Value Range Analysis.- Analysing C.- A Semantics for C.- Core C.- Related Work.- Part 1 Abstracting Soundly.- Abstract State Space.- Points-To Analysis.- Numeric Domains.- Taming Casting and Wrapping.- A Language Featuring Finite Integer Arithmetic.- Implicit Wrapping of Polyhedral Variables.- Explicit Wrapping of Polyhedral Variables.- An Abstract Semantics for SubC.- Discussion.- Overlapping Memory Accesses and Pointers.- Memory as a Set of Fields.- Mixing Values and Pointers.- Abstraction Relation.- Abstract Semantics.- Part II Ensuring Efficiency.- Planar Polyhedra.- Operations on Inequalities.- Operations on Sets of Inequalities.- The TVPI Abstract Domain.- The Integral TVPI Domain.- Interfacing Analysis and Numeric Domain.- Inferring Relevant Fields and Addresses.- Applying Widening in Fixpoint Calculations.- Part III Improving Precision.- Tracking String Lengths.- Widening with Landmarks .- Combining Points-To and Numeric Analysis.- Conclusion and Outlook