Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Sandrine Blazy

    1. Université Rennes 1, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas Jensen

    1. Inria, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SAS 2015.

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 EPUB and 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 (18 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Static Analysis of Non-interference in Expressive Low-Level Languages

    • Peter Aldous, Matthew Might
    Pages 1-17

  3. Static Analysis with Set-Closure in Secrecy

    • Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon
    Pages 18-35

  4. A Binary Decision Tree Abstract Domain Functor

    • Junjie Chen, Patrick Cousot
    Pages 36-53

  5. Precise Data Flow Analysis in the Presence of Correlated Method Calls

    • Marianna Rapoport, Ondřej Lhoták, Frank Tip
    Pages 54-71

  6. May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization

    • Elvira Albert, Samir Genaim, Pablo Gordillo
    Pages 72-89

  7. Shape Analysis for Unstructured Sharing

    • Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
    Pages 90-108

  8. Synthesizing Heap Manipulations via Integer Linear Programming

    • Anshul Garg, Subhajit Roy
    Pages 109-127

  9. Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR

    • Tachio Terauchi
    Pages 128-144

  10. Safety Verification and Refutation by k-Invariants and k-Induction

    • Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
    Pages 145-161

  11. Effective Soundness-Guided Reflection Analysis

    • Yue Li, Tian Tan, Jingling Xue
    Pages 162-180

  12. SJS: A Type System for JavaScript with Fixed Object Layout

    • Wontae Choi, Satish Chandra, George Necula, Koushik Sen
    Pages 181-198

  13. Refinement Type Inference via Horn Constraint Optimization

    • Kodai Hashimoto, Hiroshi Unno
    Pages 199-216

  14. A Simple Abstraction of Arrays and Maps by Program Translation

    • David Monniaux, Francesco Alberti
    Pages 217-234

  15. Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization

    • Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
    Pages 235-251

  16. Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis

    • Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
    Pages 252-274

  17. Parallel Cost Analysis of Distributed Systems

    • Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
    Pages 275-292

  18. A Forward Analysis for Recurrent Sets

    • Alexey Bakhirkin, Josh Berdine, Nir Piterman
    Pages 293-311

  19. Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration

    • Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening
    Pages 312-331

  20. Back Matter

    Pages 333-333
    Download chapter PDF
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

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

Editors and Affiliations

  • Université Rennes 1, Rennes, France

    Sandrine Blazy

  • Inria, Rennes, France

    Thomas Jensen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation