Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

  • Andreas Podelski
Conference proceedings SAS 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11002)

Table of contents

  1. Front Matter
    Pages I-X
  2. Aws Albarghouthi
    Pages 1-4
  3. Zachary Kincaid
    Pages 24-42
  4. Kenneth L. McMillan, Oded Padon
    Pages 43-55
  5. Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham et al.
    Pages 86-106
  6. Rajeev Alur, Joseph Devietti, Nimit Singhania
    Pages 107-126
  7. Anna Becchi, Enea Zaffanella
    Pages 146-165
  8. Frédéric Besson, Thomas Jensen, Julien Lepiller
    Pages 166-186
  9. Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen Siegel, Paul D. Hovland
    Pages 205-222
  10. Maxime Jacquemin, Sylvie Putot, Franck Védrine
    Pages 223-242
  11. Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
    Pages 243-262
  12. Isabella Mastroeni, Michele Pasqua
    Pages 263-283
  13. Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
    Pages 284-305
  14. Kedar S. Namjoshi, Zvonimir Pavlinovic
    Pages 306-325
  15. Sumanth Prabhu, Kumar Madhukar, R. Venkatesh
    Pages 326-343
  16. Francesco Ranzato, Marco Zanella
    Pages 344-363
  17. Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann
    Pages 364-382
  18. Andrew Ruef, Kesha Hietala, Arlen Cox
    Pages 383-401
  19. Caterina Urban, Samuel Ueltschi, Peter Müller
    Pages 402-422
  20. Back Matter
    Pages 445-445

About these proceedings


This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.

The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.


static analysis program verification bug detection compiler organization program understanding software maintenance software engineering software evaluation semantics model checking specifications verification programming languages static analysis computer compilers formal methods formal logic telecommunication networks telecommunication traffic

Editors and affiliations

  • Andreas Podelski
    • 1
  1. 1.Universität FreiburgFreiburgGermany

Bibliographic information

Industry Sectors
IT & Software