SAS: International On Static Analysis

Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

  • Sandrine Blazy
  • Thomas Jensen
Conference proceedings SAS 2015

DOI: 10.1007/978-3-662-48288-9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9291)

Table of contents (18 papers)

  1. Front Matter
    Pages I-XVI
  2. Static Analysis with Set-Closure in Secrecy
    Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon
    Pages 18-35
  3. A Binary Decision Tree Abstract Domain Functor
    Junjie Chen, Patrick Cousot
    Pages 36-53
  4. Precise Data Flow Analysis in the Presence of Correlated Method Calls
    Marianna Rapoport, Ondřej Lhoták, Frank Tip
    Pages 54-71
  5. Shape Analysis for Unstructured Sharing
    Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
    Pages 90-108
  6. Synthesizing Heap Manipulations via Integer Linear Programming
    Anshul Garg, Subhajit Roy
    Pages 109-127
  7. Safety Verification and Refutation by k-Invariants and k-Induction
    Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
    Pages 145-161
  8. Effective Soundness-Guided Reflection Analysis
    Yue Li, Tian Tan, Jingling Xue
    Pages 162-180
  9. SJS: A Type System for JavaScript with Fixed Object Layout
    Wontae Choi, Satish Chandra, George Necula, Koushik Sen
    Pages 181-198
  10. Refinement Type Inference via Horn Constraint Optimization
    Kodai Hashimoto, Hiroshi Unno
    Pages 199-216
  11. A Simple Abstraction of Arrays and Maps by Program Translation
    David Monniaux, Francesco Alberti
    Pages 217-234
  12. Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization
    Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
    Pages 235-251
  13. Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis
    Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
    Pages 252-274
  14. Parallel Cost Analysis of Distributed Systems
    Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
    Pages 275-292
  15. A Forward Analysis for Recurrent Sets
    Alexey Bakhirkin, Josh Berdine, Nir Piterman
    Pages 293-311
  16. Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
    Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
    Pages 312-331
  17. Back Matter
    Pages 333-333

About these proceedings

Introduction

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

Keywords

formal methods and theory of security program analysis program semantics software verification and validation symbolic and algebraic manipulation abstract interpretation general programming languages linear loops model checking polyhedral sets polynomial inductive invariants program reasoning property driven reachability analysis SMT solving software engineering software functional properties support functions theory of computation type systems

Editors and affiliations

  • Sandrine Blazy
    • 1
  • Thomas Jensen
    • 2
  1. 1.Université Rennes 1RennesFrance
  2. 2.InriaRennesFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-48287-2
  • Online ISBN 978-3-662-48288-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349