Simon, Axel
Value-Range Analysis of C Programs
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)
- Simon, Axel
- Julkaisija
- Springer
- Julkaisuvuosi
- 2008
- Kieli
- en
- Painos
- 1
- Sivumäärä
- 322 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781848000179