Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science Book 9291)

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area Front Matter....Pages I-XVI Static Analysis of Non-interference in Expressive Low-Level Languages....Pages 1-17 Static Analysis with Set-Closure in Secrecy....Pages 18-35 A Binary Decision Tree Abstract Domain Functor....Pages 36-53 Precise Data Flow Analysis in the Presence of Correlated Method Calls....Pages 54-71 May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization....Pages 72-89 Shape Analysis for Unstructured Sharing....Pages 90-108 Synthesizing Heap Manipulations via Integer Linear Programming....Pages 109-127 Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR....Pages 128-144 Safety Verification and Refutation by k-Invariants and k-Induction....Pages 145-161 Effective Soundness-Guided Reflection Analysis....Pages 162-180 SJS: A Type System for JavaScript with Fixed Object Layout....Pages 181-198 Refinement Type Inference via Horn Constraint Optimization....Pages 199-216 A Simple Abstraction of Arrays and Maps by Program Translation....Pages 217-234 Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization....Pages 235-251 Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis....Pages 252-274 Parallel Cost Analysis of Distributed Systems....Pages 275-292 A Forward Analysis for Recurrent Sets....Pages 293-311 Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration....Pages 312-331 Back Matter....Pages 333-333