Skip to main content
SpringerLink
Log in

Static Analysis

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Antoine Miné

    1. Département d’Informatique, École Normale Supérieure, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Schmidt

    1. Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State of the art research
  • Up to date results
  • Fast track conference proceedings

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Computer-Aided Cryptographic Proofs

      • Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin
      Pages 1-2

    2. A Voyage to the Deep-Heap

      • Dino Distefano
      Pages 3-3

    3. Semantics and Analyses for JavaScript and the Web

      • Shriram Krishnamurthi
      Pages 4-4

    4. Efficient May Happen in Parallel Analysis for Async-Finish Parallelism

      • Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong
      Pages 5-23

  3. Contributed Papers

    1. Modular Static Analysis with Zonotopes

      • Eric Goubault, Sylvie Putot, Franck Védrine
      Pages 24-40

    2. Polyhedral Analysis Using Parametric Objectives

      • Jacob M. Howe, Andy King
      Pages 41-57

    3. Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases

      • David Cachera, Thomas Jensen, Arnaud Jobin, Florent Kirchner
      Pages 58-74

    4. A New Abstract Domain for the Representation of Mathematically Equivalent Expressions

      • Arnault Ioualalen, Matthieu Martel
      Pages 75-93

    5. An Abstract Domain to Infer Types over Zones in Spreadsheets

      • Tie Cheng, Xavier Rival
      Pages 94-110

    6. Bilateral Algorithms for Symbolic Abstraction

      • Aditya Thakur, Matt Elder, Thomas Reps
      Pages 111-128

    7. Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation

      • Roberto Giacobazzi, Isabella Mastroeni
      Pages 129-145

    8. Invariant Generation for Parametrized Systems Using Self-reflection

      • Alejandro Sanchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
      Pages 146-163

    9. Automatic Fence Insertion in Integer Programs via Predicate Abstraction

      • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
      Pages 164-180

    10. Control Flow Analysis for the Join Calculus

      • Peter Calvert, Alan Mycroft
      Pages 181-197

    11. When the Decreasing Sequence Fails

      • Nicolas Halbwachs, Julien Henry
      Pages 198-213

    12. Loop Leaping with Closures

      • Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
      Pages 214-230

    13. Path-Sensitive Backward Slicing

      • Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
      Pages 231-247

    14. Symbolic Learning of Component Interfaces

      • Dimitra Giannakopoulou, Zvonimir Rakamarić, Vishwanath Raman
      Pages 248-264

    15. Liveness-Based Pointer Analysis

      • Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
      Pages 265-282
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

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.

Editors and Affiliations

  • Département d’Informatique, École Normale Supérieure, Paris, France

    Antoine Miné

  • Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    David Schmidt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation