Enhancing Compositional Static Analysis with Dynamic Analysis (ASE 2024 - Industry Showcase)

Who

Dino Distefano, Matteo Marescotti, Cons Ahs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne

Track

ASE 2024 Industry Showcase

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 31 Oct 2024 11:45 - 12:00 at Compagno - Program analysis 3 Chair(s): Xusheng Xiao

Abstract

In this paper we introduce a novel method for improving static analysis of real code by using dynamic analysis. We have implemented our technique to enhance the Infer static analyzer for Erlang by supplementing its analysis with data obtained by FAUSTA dynamic analysis. We present the technical details of the algorithm combining static and dynamic analysis and a case study on its evaluation on WhatsApp’s Erlang code to detect software defects. Results show an increase in detected bugs in 76% of the runs when data from dynamic analysis is used. In particular, on average, data provided by dynamic analysis for 1 function enables static analysis of 2.1 additional functions. Moreover, dynamic data enabled analysis of a property not verifiable using static analysis alone.

Dino Distefano

Meta

Matteo Marescotti

Meta

Cons Ahs

Meta

Sopot Cela

Meta

Gabriela Cunha Sampaio

Meta

Radu Grigore

Meta

Ákos Hajdu

United Kingdom

Timotej Kapus

Meta

Ke Mao

Meta

Thibault Suzanne

Meta

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 31 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	Program analysis 3Industry Showcase / Research Papers at Compagno Chair(s): Xusheng Xiao Arizona State University

10:30 15m Talk		Language-Agnostic Static Analysis of Probabilistic Programs Research Papers Markus Böck TU Wien, Michael Schröder TU Wien, Jürgen Cito TU Wien
10:45 15m Talk		What Is Wrong with My Model? Identifying Systematic Problems with Semantic Data Slicing Research Papers Chenyang Yang , Yining Hong Carnegie Mellon University, Grace Lewis Carnegie Mellon Software Engineering Institute, Tongshuang Wu Carnegie Mellon University, Christian Kästner Carnegie Mellon University
11:00 15m Talk		Interrogation Testing of Program Analyzers for Soundness and Precision Issues Research Papers David Kaindlstorfer TU Wien, Austria, Anastasia Isychev TU Wien, Valentin Wüstholz ConsenSys, Maria Christakis TU Wien
11:15 15m Talk		Constraint-Based Test Oracles for Program Analyzers Research Papers Markus Fleischmann TU Wien, Austria, David Kaindlstorfer TU Wien, Austria, Anastasia Isychev TU Wien, Valentin Wüstholz ConsenSys, Maria Christakis TU Wien
11:30 15m Talk		Program Synthesis Meets Visual What-Comes-Next Puzzles Research Papers Sumit Lahiri Indian Institute of Technology Kanpur, Pankaj Kumar Kalita IIT Kanpur, Akshay Kumar Chittora Indian Institute of Technology Kanpur, Varun Vankudre Indian Institute of Technology Kanpur, Subhajit Roy IIT Kanpur
11:45 15m Talk		Enhancing Compositional Static Analysis with Dynamic Analysis Industry Showcase Dino Distefano Meta, Matteo Marescotti Meta, Cons Ahs Meta, Sopot Cela Meta, Gabriela Cunha Sampaio Meta, Radu Grigore Meta, Ákos Hajdu Meta, Timotej Kapus Meta, Ke Mao Meta, Thibault Suzanne Meta