This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence.
The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
Author(s): Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.)
Series: Lecture Notes in Computer Science 5079 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 379
Tags: Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques
Front Matter....Pages -
Transforming Abstract Interpretations by Abstract Interpretation....Pages 1-17
Reflections on the Role of Static Analysis in Cooperative Bug Isolation....Pages 18-31
Relational Analysis of Correlation....Pages 32-46
Convex Hull of Arithmetic Automata....Pages 47-61
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors....Pages 62-77
Protocol Inference Using Static Path Profiles....Pages 78-92
Solving Multiple Dataflow Queries Using WPDSs....Pages 93-109
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA....Pages 110-127
Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs....Pages 128-143
On Polymorphic Recursion, Type Systems, and Abstract Interpretation....Pages 144-158
Modal Abstractions of Concurrent Behaviour....Pages 159-173
Hiding Software Watermarks in Loop Structures....Pages 174-188
Inferring Min and Max Invariants Using Max-Plus Polyhedra....Pages 189-204
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors....Pages 205-220
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis....Pages 221-237
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement....Pages 238-254
Flow Analysis, Linearity, and PTIME....Pages 255-269
Quantum Entanglement Analysis Based on Abstract Interpretation....Pages 270-282
Language Strength Reduction....Pages 283-298
Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ ....Pages 299-314
Splitting the Control Flow with Boolean Flags....Pages 315-331
Reasoning about Control Flow in the Presence of Transient Faults....Pages 332-346
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation....Pages 347-362
Heap Decomposition for Concurrent Shape Analysis....Pages 363-377
Back Matter....Pages -
