Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

  • Antoine Miné
  • David Schmidt
Conference proceedings SAS 2012

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin
      Pages 1-2
    2. Dino Distefano
      Pages 3-3
    3. Shriram Krishnamurthi
      Pages 4-4
    4. Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong
      Pages 5-23
  3. Contributed Papers

    1. Eric Goubault, Sylvie Putot, Franck Védrine
      Pages 24-40
    2. Jacob M. Howe, Andy King
      Pages 41-57
    3. David Cachera, Thomas Jensen, Arnaud Jobin, Florent Kirchner
      Pages 58-74
    4. Aditya Thakur, Matt Elder, Thomas Reps
      Pages 111-128
    5. Roberto Giacobazzi, Isabella Mastroeni
      Pages 129-145
    6. Alejandro Sanchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
      Pages 146-163
    7. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
      Pages 164-180
    8. Peter Calvert, Alan Mycroft
      Pages 181-197
    9. Nicolas Halbwachs, Julien Henry
      Pages 198-213
    10. Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
      Pages 214-230
    11. Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
      Pages 231-247
    12. Dimitra Giannakopoulou, Zvonimir Rakamarić, Vishwanath Raman
      Pages 248-264
    13. Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
      Pages 265-282
    14. Julien Henry, David Monniaux, Matthieu Moy
      Pages 283-299
    15. Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
      Pages 300-316
    16. Vijay D’Silva, Leopold Haller, Daniel Kroening
      Pages 317-333
    17. Aditya Thakur, Thomas Reps
      Pages 334-351
    18. Jan Midtgaard, Michael D. Adams, Matthew Might
      Pages 352-369
    19. Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
      Pages 370-387
    20. Ruslán Ledesma-Garza, Andrey Rybalchenko
      Pages 388-404
    21. Diego Esteban Alonso-Blas, Samir Genaim
      Pages 405-421
    22. Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay
      Pages 422-438
  4. Back Matter

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.


compliler optimization heap analysis higher order programs program understanding software maintenance

Editors and affiliations

  • Antoine Miné
    • 1
  • David Schmidt
    • 2
  1. 1.Département d’InformatiqueÉcole Normale SupérieureParisFrance
  2. 2.Department of Computing and Information SciencesKansas State UniversityManhattanUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33124-4
  • Online ISBN 978-3-642-33125-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site