Login

Simon, Axel

Value-Range Analysis of C Programs

Simon, Axel - Value-Range Analysis of C Programs, ebook

111,60€

Ebook, PDF with Adobe DRM
ISBN: 9781848000179
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction

2. A Semantics for C

Part I. Abstracting Soundly

3. Abstract State Space

4. Taming Casting and Wrapping

5. Overlapping Memory Accesses and Pointers

6. Abstract Semantics

Part II. Ensuring Efficiency

7. Planar Polyhedra

8. The TVPI Abstract Domain

9. The Integral TVPI Domain

10. Interfacing Analysis and Numeric Domain

Part III. Improving Precision

11. Tracking String Lengths

12. Widening with Landmarks

13. Combining Points-to and Numeric Analyses

14. Implementation

15. Conclusion and Outlook

Keywords: Computer Science, Logics and Meanings of Programs, Software Engineering, Numeric Computing

Author(s)
Publisher
Springer
Publication year
2008
Language
en
Edition
1
Page amount
322 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781848000179

Similar titles