Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Kwangkeun Yi

    1. Seoul National University, Korea

    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 4134)

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

Included in the following conference series:

Conference proceedings info: SAS 2006.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Unleashing the Power of Static Analysis

      • Manuvir Das
      Pages 1-2

  3. Session 1

    1. Static Analysis in Disjunctive Numerical Domains

      • Sriram Sankaranarayanan, Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta
      Pages 3-17

    2. Static Analysis of Numerical Algorithms

      • Eric Goubault, Sylvie Putot
      Pages 18-34

    3. Static Analysis of String Manipulations in Critical Embedded C Programs

      • Xavier Allamigeon, Wenceslas Godard, Charles Hymans
      Pages 35-51

  4. Session 2

    1. Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

      • Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar
      Pages 52-70

    2. Structural Invariants

      • Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
      Pages 71-87

    3. Existential Label Flow Inference Via CFL Reachability

      • Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
      Pages 88-106

  5. Session 3

    1. Abstract Interpretation with Specialized Definitions

      • Germán Puebla, Elvira Albert, Manuel Hermenegildo
      Pages 107-126

    2. Underapproximating Predicate Transformers

      • David A. Schmidt
      Pages 127-143

    3. Combining Widening and Acceleration in Linear Relation Analysis

      • Laure Gonnord, Nicolas Halbwachs
      Pages 144-160

    4. Beyond Iteration Vectors: Instancewise Relational Abstract Domains

      • Pierre Amiranoff, Albert Cohen, Paul Feautrier
      Pages 161-180

  6. Invited Talk

    1. Separation Logic and Program Analysis

      • Peter W. O’Hearn
      Pages 181-181

    2. Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic

      • Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn, Hongseok Yang
      Pages 182-203

  7. Session 4

    1. Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding

      • Gilad Arnold
      Pages 204-220

    2. Recency-Abstraction for Heap-Allocated Storage

      • Gogul Balakrishnan, Thomas Reps
      Pages 221-239

    3. Interprocedural Shape Analysis with Separated Heap Abstractions

      • Alexey Gotsman, Josh Berdine, Byron Cook
      Pages 240-260

    4. Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm

      • Alexey Loginov, Thomas Reps, Mooly Sagiv
      Pages 261-279

  8. Invited Talk

    1. Shape Analysis for Low-Level Code

      • Hongseok Yang
      Pages 280-280

  9. Session 5

    1. Catching and Identifying Bugs in Register Allocation

      • Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
      Pages 281-300
Back to top

Other volumes

  1. Static Analysis

Keywords

Editors and Affiliations

  • Seoul National University, Korea

    Kwangkeun Yi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation