Sat 17 Jun 2023 10:00 - 10:30 at Magnolia 18 - SOAP: Session 1 - Static Analysis Chair(s): Vincenzo Arceri

In the context of static analysis based on Abstract Interpretation, we propose a new abstract operator modeling the \emph{split} of control flow paths: the goal of the operator is to enable a more efficient analysis when using abstract domains that are computationally expensive, having no effect on precision. Focusing on the case of conditional branches guarded by numeric linear constraints, we provide a preliminary experimental evaluation showing that, by using the split operator, we can achieve significant efficiency improvements for a static analysis based on the domain of convex polyhedra. We also briefly discuss the applicability of this new operator to different, possibly non-numeric abstract domains.

Sat 17 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
SOAP: Session 1 - Static AnalysisSOAP at Magnolia 18
Chair(s): Vincenzo Arceri University of Parma, Italy

#soap-sat-magnolia18 Discord icon small YouTube icon small

09:00
30m
Talk
Combining E-Graphs with Abstract Interpretation
SOAP
Samuel Coward Imperial College London, UK / Intel Corporation, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA
DOI
09:30
30m
Talk
Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
SOAP
Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Guruprerana Shabadi École Polytechnique, Institut Polytechnique de Paris, Caterina Urban Inria & École Normale Supérieure | Université PSL
DOI
10:00
30m
Talk
Speeding up Static Analysis with the Split Operator
SOAP
Vincenzo Arceri University of Parma, Italy, Greta Dolcetti University of Parma - Department of Mathematical, Physical, and Computer Sciences, Enea Zaffanella University of Parma, Italy
DOI
10:30
30m
Talk
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
SOAP
Michael Schwarz Technische Universität München, Julian Erhard Technical University of Munich, Vesal Vojdani University of Tartu, Simmo Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München
DOI Media Attached