This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006, held in Seoul, Korea in August 2006.
The 23 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 80 submissions. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis.
Author(s): Manuvir Das (auth.), Kwangkeun Yi (eds.)
Series: Lecture Notes in Computer Science 4134 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 443
Tags: Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques
Front Matter....Pages -
Unleashing the Power of Static Analysis....Pages 1-2
Static Analysis in Disjunctive Numerical Domains....Pages 3-17
Static Analysis of Numerical Algorithms....Pages 18-34
Static Analysis of String Manipulations in Critical Embedded C Programs....Pages 35-51
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures....Pages 52-70
Structural Invariants....Pages 71-87
Existential Label Flow Inference Via CFL Reachability....Pages 88-106
Abstract Interpretation with Specialized Definitions....Pages 107-126
Underapproximating Predicate Transformers....Pages 127-143
Combining Widening and Acceleration in Linear Relation Analysis....Pages 144-160
Beyond Iteration Vectors: Instancewise Relational Abstract Domains....Pages 161-180
Separation Logic and Program Analysis....Pages 181-181
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic....Pages 182-203
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding....Pages 204-220
Recency-Abstraction for Heap-Allocated Storage....Pages 221-239
Interprocedural Shape Analysis with Separated Heap Abstractions....Pages 240-260
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm....Pages 261-279
Shape Analysis for Low-Level Code....Pages 280-280
Catching and Identifying Bugs in Register Allocation....Pages 281-300
Certificate Translation for Optimizing Compilers....Pages 301-317
Analysis of Low-Level Code Using Cooperating Decompilers....Pages 318-335
Static Analysis for Java Servlets and JSP....Pages 336-352
Cryptographically-Masked Flows....Pages 353-369
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems....Pages 370-386
Parametric and Termination-Sensitive Control Dependence....Pages 387-404
Memory Leak Analysis by Contradiction....Pages 405-424
Path-Sensitive Dataflow Analysis with Iterative Refinement....Pages 425-442
Back Matter....Pages -
