Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2006

Static Analysis

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

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)

Conference series link(s): SAS: International Static Analysis Symposium

Conference proceedings info: SAS 2006.

Sections

Buy it now

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

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

Table of contents (27 papers)

  1. Front Matter

    PDF

  2. Invited Talk

  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

    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

Back to top

Keywords

Back to top

Editors and Affiliations

  • Seoul National University, Korea

    Kwangkeun Yi

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation