Skip to main content
SpringerLink
Log in

Static Analysis

29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Gagandeep Singh

    1. VMware Research and University of Illinois Urbana-Champaign, Urbana, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Caterina Urban

    1. Inria and ENS/PSL, Paris, 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 13790)

Included in the following conference series:

Conference proceedings info: SAS 2022.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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 (20 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Specification-Guided Reinforcement Learning

      • Suguman Bansal
      Pages 3-9

    3. Towards Efficient Reasoning of Quantum Programs

      • Nengkun Yu
      Pages 10-15

  3. Regular Papers

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Solving Invariant Generation for Unsolvable Loops

      • Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovič
      Pages 19-43

    3. Principles of Staged Static+Dynamic Partial Analysis

      • Aditya Anand, Manas Thakur
      Pages 44-73

    4. SecWasm: Information Flow Control for WebAssembly

      • Iulia Bastys, Maximilian Algehed, Alexander Sjösten, Andrei Sabelfeld
      Pages 74-103

    5. Lifting Numeric Relational Domains to Algebraic Data Types

      • Santiago Bautista, Thomas Jensen, Benoît Montagu
      Pages 104-134

    6. Automated Synthesis of Asynchronizations

      • Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
      Pages 135-159

    7. Case Study on Verification-Witness Validators: Where We Are and Where We Go

      • Dirk Beyer, Jan Strejček
      Pages 160-174Open Access

    8. Deciding Program Properties via Complete Abstractions on Bounded Domains

      • Roberto Bruni, Roberta Gori, Nicolas Manini
      Pages 175-200

    9. Invariant Inference with Provable Complexity from the Monotone Theory

      • Yotam M. Y. Feldman, Sharon Shoham
      Pages 201-226

    10. Efficient Modular SMT-Based Model Checking of Pointer Programs

      • Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas
      Pages 227-246

    11. Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation

      • Roberto Giacobazzi, Isabella Mastroeni
      Pages 247-271

    12. Bootstrapping Library-Based Synthesis

      • Kangjing Huang, Xiaokang Qiu
      Pages 272-298

    13. Boosting Robustness Verification of Semantic Feature Neighborhoods

      • Anan Kabaha, Dana Drachsler-Cohen
      Pages 299-324

    14. Fast and Incremental Computation of Weak Control Closure

      • Abu Naser Masud
      Pages 325-349

    15. Local Completeness Logic on Kleene Algebra with Tests

      • Marco Milanese, Francesco Ranzato
      Pages 350-371

    16. Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs

      • Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe
      Pages 372-396
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.

The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area. 




Editors and Affiliations

  • VMware Research and University of Illinois Urbana-Champaign, Urbana, USA

    Gagandeep Singh

  • Inria and ENS/PSL, Paris, France

    Caterina Urban

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation