Logga in

Simon, Axel

Value-Range Analysis of C Programs

Simon, Axel - Value-Range Analysis of C Programs, e-bok

98,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781848000179
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
Utgivare
Springer
Utgivningsår
2008
Språk
en
Utgåva
1
Sidantal
322 sidor
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9781848000179

Liknande e-böcker