Skip to main content
SpringerLink
Log in

Static Analysis

20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Francesco Logozzo

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manuel Fähndrich

    1. One Microsoft Way, Microsoft Research, Redmond,, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

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

Included in the following conference series:

Conference proceedings info: SAS 2013.

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 (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT

    • Eric Goubault
    Pages 1-3

  3. Static Analysis in the Continuously Changing World

    • Sriram Sankaranarayanan
    Pages 4-5

  4. Abstract Interpretation over Non-lattice Abstract Domains

    • Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
    Pages 6-24

  5. Localizing Widening and Narrowing

    • Gianluca Amato, Francesca Scozzari
    Pages 25-42

  6. The Abstract Domain of Segmented Ranking Functions

    • Caterina Urban
    Pages 43-62

  7. Symbolic Automata for Static Specification Mining

    • Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
    Pages 63-83

  8. Predicate Abstraction for Relaxed Memory Models

    • Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
    Pages 84-104

  9. On Solving Universally Quantified Horn Clauses

    • Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko
    Pages 105-125

  10. From Concrete Examples to Heap Manipulating Programs

    • Subhajit Roy
    Pages 126-149

  11. Local Shape Analysis for Overlaid Data Structures

    • Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
    Pages 150-171

  12. Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists

    • Pranav Garg, P. Madhusudan, Gennaro Parlato
    Pages 172-193

  13. Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing

    • Hyunha Kim, Kyung-Goo Doh, David A. Schmidt
    Pages 194-214

  14. Byte-Precise Verification of Low-Level List Manipulation

    • Kamil Dudka, Petr Peringer, Tomáš Vojnar
    Pages 215-237

  15. Abstract Semantic Differencing for Numerical Programs

    • Nimrod Partush, Eran Yahav
    Pages 238-258

  16. Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

    • Raghavan Komondoor
    Pages 259-282

  17. Automatic Synthesis of Deterministic Concurrency

    • Veselin Raychev, Martin Vechev, Eran Yahav
    Pages 283-303

  18. Witnessing Program Transformations

    • Kedar S. Namjoshi, Lenore D. Zuck
    Pages 304-323

  19. Formal Verification of a C Value Analysis Based on Abstract Interpretation

    • Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie
    Pages 324-344

  20. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

    • Alexis Fouilhe, David Monniaux, Michaël Périn
    Pages 345-365
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 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

  • Microsoft Research, Redmond, USA

    Francesco Logozzo

  • One Microsoft Way, Microsoft Research, Redmond,, USA

    Manuel Fähndrich

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation