Sisäänkirjautuminen

Simon, Axel

Value-Range Analysis of C Programs

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

98,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781848000179
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Tekijä(t)
Julkaisija
Springer
Julkaisuvuosi
2008
Kieli
en
Painos
1
Sivumäärä
322 sivua
Kategoria
Tietotekniikka, tietoliikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9781848000179

Samankaltaisia e-kirjoja