SAS: International On Static Analysis

Static Analysis

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

  • Sandrine Blazy
  • Thomas Jensen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9291)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon
    Pages 18-35
  3. Junjie Chen, Patrick Cousot
    Pages 36-53
  4. Marianna Rapoport, Ondřej Lhoták, Frank Tip
    Pages 54-71
  5. Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
    Pages 90-108
  6. Anshul Garg, Subhajit Roy
    Pages 109-127
  7. Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
    Pages 145-161
  8. Yue Li, Tian Tan, Jingling Xue
    Pages 162-180
  9. Wontae Choi, Satish Chandra, George Necula, Koushik Sen
    Pages 181-198
  10. Kodai Hashimoto, Hiroshi Unno
    Pages 199-216
  11. David Monniaux, Francesco Alberti
    Pages 217-234
  12. Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
    Pages 235-251
  13. Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
    Pages 252-274
  14. Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
    Pages 275-292
  15. Alexey Bakhirkin, Josh Berdine, Nir Piterman
    Pages 293-311
  16. 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

  • DOI https://doi.org/10.1007/978-3-662-48288-9
  • 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