# Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)

Lisa Nguyen Quang Do, Caterina Urban

<figure><img src="image_1.png" /></figure>

## ► To cite this version:

Lisa Nguyen Quang Do, Caterina Urban. Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021). ACM, 2021, 10.1145/3460946. hal-04250067

HAL Id: hal-04250067

https://inria.hal.science/hal-04250067v1

Submitted on 19 Oct 2023

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

<figure><img src="image_2.png" /></figure>

Distributed under a Creative Commons CC BY 4.0 - Attribution - International License
June 22, 2021

Virtual, Canada

<figure><img src="image_3.png" /></figure>

Association for
Computing Machinery

Advancing Computing as a Science & Profession

<figure><img src="image_4.png" /></figure>

SOAP '21

Proceedings of the 10th ACM SIGPLAN International Workshop on
the State Of the Art in Program Analysis

Edited by:
Lisa Nguyen Quang Do and Caterina Urban

Sponsored by:
ACM SIGPLAN

Co-located with:
PLDI'21
Association for Computing Machinery, Inc.

1601 Broadway, 10th Floor

New York, NY 10019-7434

USA

Copyright © 2021 by the Association for Computing Machinery, Inc (ACM). Permission to make digital or hard copies of portions of this work for personal or classroom use is granted without fee provided that the copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted.

To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permission to republish from: Publications Dept. ACM, Inc.
Fax +1-212-869-0481 or E-mail permissions@acm.org.

For other copying of articles that carry a code at the bottom of the first or last page, copying is permitted provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923, USA.

## Notice to Authors of Past ACM-Published Articles

ACM intends to create a complete electronic archive of all articles and/or other material previously published by ACM. If you have written a work that was previously published by ACM in any journal or conference proceedings prior to 1978, or any SIG Newsletter at any time, and you do NOT want this work to appear in the ACM Digital Library, please inform permissions@acm.org, stating the title of the work, the author(s), and where and when published.

ACM ISBN: 978-1-4503-8468-1

Additional copies may be ordered prepaid from:

ACM

General Post Office

P.O. Box 30777

New York, NY 10087-0777

Phone: 1-800-342-6626

(USA and Canada)

+1-212-626-0500

(All other countries)

Fax: +1-212-944-1318

E-mail: acmhelp@acm.org

Cover photo "Rue St. Jean, Quebec City, Quebec, Canada", 2009, by (WT-shared) ED01 at wts wikivoyage, public domain, cropped version, original available at https://commons.wikimedia.org/wiki/File:Rue_St_Jean.jpg
# Message from the Chairs

The 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'21) is co-located with the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '21). In line with past workshops, SOAP'21 aims to bring together the members of the program analysis community to share new developments and shape new innovations in program analysis.

This edition of SOAP had a record of 15 submissions, each reviewed by three reviewers. Eight were accepted, making a ~53% acceptance rate. Along those eight papers, SOAP'21 features three invited talks by Sébastien Bardin, Cristina Cifuentes, and Patrick Cousot.

We would like to commend the efforts of the eight members of the PC and the six additional reviewers, who, in spite of the global crisis, donated their valuable time and effort to make the reviewing process possible. We also thank the PLDI chairs and the ACM staff for their continued support in making this workshop possible. We would also like to thank the staff of SlidesLive, with whom we are able to propose a fully virtual edition of SOAP.

We hope you enjoy the talks at SOAP'21 and look forward to enlightening discussions.

Lisa Nguyen Quang Do
SOAP 2021 Program Co-Chair
Google, Switzerland

Caterina Urban
SOAP 2021 Program Co-Chair
INRIA & École Normale Supérieure | PSL University, France
# Committees

**Program Chairs:**

Lisa Nguyen Quang Do (Google, Switzerland)

Caterina Urban (INRIA & École Normale Supérieure | PSL University, France)

**Program Committee:**

Andrew Browne (Google, USA)

François Gauthier (Oracle Labs, Australia)

Lucja Kot (GrammaTech, USA)

Antoine Miné (Sorbonne University, France)

Jorge A. Navas (SRI International, USA)

Laura Titolo (NIA / NASA LaRC, USA)

Heike Wehrheim (University of Oldenburg, Germany)

Thomas Zimmermann (Microsoft Research, USA)

**Steering Committee:**

Padmanabhan Krishnan (Oracle Labs, Australia)

Christoph Reichenbach (Lund University, Sweden)

Neville Grech (University of Malta, Malta)

Thierry Lavoie (Synopsys, Canada)

Ben Hermann (Technische Universität Dortmund, Germany)

Omer Tripp (Amazon, USA)

**Additional Reviewers:**

Jan Haltermann

Matthieu Journault

Raphaël Monat

Felix Pauck

Cedric Richter

Arnab Sharma
# Contents

## Frontmatter

<table><tr><td>Message from the Chairs</td><td>iii</td></tr></table>

## Session 1

<table><tr><td>Static Analysis for Dummies: Experiencing LiSA<br>Pietro Ferrara, Luca Negrini, Vincenzo Arceri, and Agostino Cortesi — Ca' Foscari University of Venice, Italy</td><td>1</td></tr></table>

<table><tr><td>Security and Quality: Two Sides of the Same Coin?<br>Steven Arzt — Fraunhofer SIT, Germany</td><td>7</td></tr></table>

## Session 2

<table><tr><td>Program Analysis for Reversible Languages<br>Niklas Deworetzki and Uwe Meyer — TH Mittelhessen, Germany</td><td>13</td></tr></table>

<table><tr><td>PerfLens: A Data-Driven Performance Bug Detection and Fix Platform<br>Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan, and Chen Wu — Microsoft, Canada; Microsoft, USA; Microsoft, China</td><td>19</td></tr></table>

<table><tr><td>Weldr: Fusing Binaries for Simplified Analysis<br>Alexander Heinricher, Ryan Williams, Ava Klingbeil, and Alex Jordan — Raytheon BBN Technologies, USA</td><td>25</td></tr></table>

## Session 3

<table><tr><td>Multi-language Static Code Analysis on the LARA Framework<br>Gil Teixeira, João Bispo, and Filipe F. Correia — University of Porto, Portugal; INESC TEC, Portugal</td><td>31</td></tr></table>

<table><tr><td>Serialized-Aware Call Graph Construction<br>Joanna C. S. Santos, Reese A. Jones, Chinomso Ashiogwu, and Mehdi Mirakhorli — Rochester Institute of Technology, USA; University of Maryland, USA</td><td>37</td></tr></table>

<table><tr><td>Scalable String Analysis: An Experience Report<br>Kostyantyn Vorobyov, Yang Zhao, and Padmanabhan Krishnan — Oracle Labs, Australia</td><td>43</td></tr></table>

<table><tr><td>Author Index</td><td>49</td></tr></table>