Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science (4134))

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. 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 - This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the abstracts of 3 invited talks. 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 and more. Kwangkeun Yi (ed.). Includes Bibliographical References And Index.