Skip to main content
SpringerLink
Log in

Static Analysis

26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Bor-Yuh Evan Chang

    1. University of Colorado, Boulder, USA

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

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

Included in the following conference series:

Conference proceedings info: SAS 2019.

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

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Invited Contributions

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Rethinking Static Analysis by Combining Discrete and Continuous Reasoning

      • Mayur Naik
      Pages 3-16

    3. Static Analysis of Data Science Software

      • Caterina Urban
      Pages 17-23

  3. Pointers and Dataflow

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis

      • Yuxiang Lei, Yulei Sui
      Pages 27-47

    3. Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

      • Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue
      Pages 48-72

    4. A Change-Based Heuristic for Static Analysis with Policy Iteration

      • Marcus Völker, Stefan Kowalewski
      Pages 73-95

    5. Syntactic and Semantic Soundness of Structural Dataflow Analysis

      • Patrick Cousot
      Pages 96-117

  4. Languages and Decidability

    1. Front Matter

      Pages 119-119
      Download chapter PDF

    2. Abstract Interpretation of Indexed Grammars

      • Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
      Pages 121-139

    3. Language Inclusion Algorithms as Complete Abstract Interpretations

      • Pierre Ganty, Francesco Ranzato, Pedro Valero
      Pages 140-161

    4. On the Monniaux Problem in Abstract Interpretation

      • Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
      Pages 162-180

  5. Numerical

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. Revisiting Polyhedral Analysis for Hybrid Systems

      • Anna Becchi, Enea Zaffanella
      Pages 183-202

    3. An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection

      • Hang Yu, David Monniaux
      Pages 203-224

    4. Analysis of Software Patches Using Numerical Abstract Interpretation

      • David Delmas, Antoine Miné
      Pages 225-246

    5. Verifying Numerical Programs via Iterative Abstract Testing

      • Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
      Pages 247-267

  6. Trends: Assuring Machine Learning

    1. Front Matter

      Pages 269-269
      Download chapter PDF

    2. Robustness Verification of Support Vector Machines

      • Francesco Ranzato, Marco Zanella
      Pages 271-295
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.
The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. 
The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.

Editors and Affiliations

  • University of Colorado, Boulder, USA

    Bor-Yuh Evan Chang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation