Static Analysis

1. Front Matter

   PDF

2. Invited Papers

   1. Transforming Abstract Interpretations by Abstract Interpretation

      • Roberto Giacobazzi, Isabella Mastroeni

      Pages 1-17

   2. Reflections on the Role of Static Analysis in Cooperative Bug Isolation

      • Ben Liblit

      Pages 18-31

3. Contributed Papers

   1. Relational Analysis of Correlation

      • Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard

      Pages 32-46

   2. Convex Hull of Arithmetic Automata

      • Jérôme Leroux

      Pages 47-61

   3. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors

      • Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett

      Pages 62-77

   4. Protocol Inference Using Static Path Profiles

      • Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan

      Pages 78-92

   5. Solving Multiple Dataflow Queries Using WPDSs

      • Akash Lal, Thomas Reps

      Pages 93-109

   6. Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA

      • Prakash Prabhu, Priti Shankar

      Pages 110-127

   7. Typing Linear Constraints for Moding CLP(\({\cal R}\)) Programs

      • Salvatore Ruggieri, Fred Mesnard

      Pages 128-143

   8. On Polymorphic Recursion, Type Systems, and Abstract Interpretation

      • Marco Comini, Ferruccio Damiani, Samuel Vrech

      Pages 144-158

   9. Modal Abstractions of Concurrent Behaviour

      • Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

      Pages 159-173

   10. Hiding Software Watermarks in Loop Structures

       • Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini

       Pages 174-188

   11. Inferring Min and Max Invariants Using Max-Plus Polyhedra

       • Xavier Allamigeon, Stéphane Gaubert, Éric Goubault

       Pages 189-204

   12. Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors

       • Peter Lammich, Markus Müller-Olm

       Pages 205-220

   13. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

       • Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

       Pages 221-237

   14. SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement

       • Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivančić, Ou Wei, Aarti Gupta

       Pages 238-254

   15. Flow Analysis, Linearity, and PTIME

       • David Van Horn, Harry G. Mairson

       Pages 255-269

   16. Quantum Entanglement Analysis Based on Abstract Interpretation

       • Simon Perdrix

       Pages 270-282

   17. Language Strength Reduction

       • Nicholas Kidd, Akash Lal, Thomas Reps

       Pages 283-298

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.

• Compiler
• Java
• abstract domains
• abstract interpretation
• automata
• compiler optimization
• complexity
• fault tolerance
• inductive definitions
• linear constraints
• model checking
• optimization
• programming
• programming language
• verification

Policies and ethics