2008

Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Editors:

ISBN: 978-1-84800-016-2 (Print) 978-1-84800-017-9 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xxii

    1. No Access

      Book Chapter

      Pages 1-21

      Introduction

    2. No Access

      Book Chapter

      Pages 23-43

      A Semantics for C

  2. Abstracting Soundly

    1. Front Matter

      Pages 46-46

    2. No Access

      Book Chapter

      Pages 47-70

      Abstract State Space

    3. No Access

      Book Chapter

      Pages 71-87

      Taming Casting and Wrapping

    4. No Access

      Book Chapter

      Pages 89-110

      Overlapping Memory Accesses and Pointers

    5. No Access

      Book Chapter

      Pages 111-124

      Abstract Semantics

  3. Ensuring Efficiency

    1. Front Matter

      Pages 126-126

    2. No Access

      Book Chapter

      Pages 127-146

      Planar Polyhedra

    3. No Access

      Book Chapter

      Pages 147-163

      The TVPI Abstract Domain

    4. No Access

      Book Chapter

      Pages 165-183

      The Integral TVPI Domain

    5. No Access

      Book Chapter

      Pages 185-194

      Interfacing Analysis and Numeric Domain

  4. Improving Precision

    1. Front Matter

      Pages 196-196

    2. No Access

      Book Chapter

      Pages 197-215

      Tracking String Lengths

    3. No Access

      Book Chapter

      Pages 217-233

      Widening with Landmarks

    4. No Access

      Book Chapter

      Pages 235-258

      Combining Points-to and Numeric Analyses

    5. No Access

      Book Chapter

      Pages 259-276

      Implementation

    6. No Access

      Book Chapter

      Pages 277-279

      Conclusion and Outlook

  5. Back Matter

    Pages 281-300