↓ Skip to main content

Static Analysis

Overview of attention for book
Cover of 'Static Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Unleashing the Power of Static Analysis
  3. Altmetric Badge
    Chapter 2 Static Analysis in Disjunctive Numerical Domains
  4. Altmetric Badge
    Chapter 3 Static analysis of numerical algorithms
  5. Altmetric Badge
    Chapter 4 Static Analysis of String Manipulations in Critical Embedded C Programs
  6. Altmetric Badge
    Chapter 5 Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
  7. Altmetric Badge
    Chapter 6 Structural Invariants
  8. Altmetric Badge
    Chapter 7 Existential Label Flow Inference Via CFL Reachability
  9. Altmetric Badge
    Chapter 8 Abstract Interpretation with Specialized Definitions
  10. Altmetric Badge
    Chapter 9 Underapproximating Predicate Transformers
  11. Altmetric Badge
    Chapter 10 Combining Widening and Acceleration in Linear Relation Analysis
  12. Altmetric Badge
    Chapter 11 Beyond Iteration Vectors: Instancewise Relational Abstract Domains
  13. Altmetric Badge
    Chapter 12 Separation Logic and Program Analysis
  14. Altmetric Badge
    Chapter 13 Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
  15. Altmetric Badge
    Chapter 14 Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding
  16. Altmetric Badge
    Chapter 15 Recency-Abstraction for Heap-Allocated Storage
  17. Altmetric Badge
    Chapter 16 Interprocedural Shape Analysis with Separated Heap Abstractions
  18. Altmetric Badge
    Chapter 17 Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
  19. Altmetric Badge
    Chapter 18 Shape Analysis for Low-Level Code
  20. Altmetric Badge
    Chapter 19 Catching and Identifying Bugs in Register Allocation
  21. Altmetric Badge
    Chapter 20 Certificate Translation for Optimizing Compilers
  22. Altmetric Badge
    Chapter 21 Analysis of Low-Level Code Using Cooperating Decompilers
  23. Altmetric Badge
    Chapter 22 Static Analysis for Java Servlets and JSP
  24. Altmetric Badge
    Chapter 23 Cryptographically-Masked Flows
  25. Altmetric Badge
    Chapter 24 Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems
  26. Altmetric Badge
    Chapter 25 Parametric and Termination-Sensitive Control Dependence
  27. Altmetric Badge
    Chapter 26 Memory Leak Analysis by Contradiction
  28. Altmetric Badge
    Chapter 27 Path-Sensitive Dataflow Analysis with Iterative Refinement
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
2 patents
wikipedia
1 Wikipedia page

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Static Analysis
Published by
Springer, Berlin, Heidelberg, January 2006
DOI 10.1007/11823230
ISBNs
978-3-54-037756-6, 978-3-54-037758-0
Editors

Kwangkeun Yi

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
New Zealand 1 33%
Unknown 2 67%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 33%
Student > Doctoral Student 1 33%
Professor > Associate Professor 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Engineering 1 33%