This program is tentative and subject to change.

Sun 16 Jan 2022 10:20 - 10:50 at Salon I - Static Analysis and Abstract Interpretation Chair(s): Thomas Wies

In modern programming languages, more and more functionalities, such as reflection and data interchange, rely on string values.
String analysis statically computes the set of string values that are possibly assigned to a variable, and it involves a certain degree of approximation. During the last decade, several abstract domains approximating string values have been introduced and applied to statically analyze programs. However, most of them are not precise enough to track relational information between string variables whose value is statically unknown (e.g., user input), causing the loss of relevant knowledge about their possible values. This paper introduces a generic approach to formalize relational string abstract domains based on ordering relationships. We instantiate it to several domains built upon different well-known string orders (e.g., substring). We implemented the domain based on the substring ordering into a prototype static analyzer for Go, and we experimentally evaluated its precision and performance on some real-world case studies.

This program is tentative and subject to change.

Sun 16 Jan

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

10:20 - 11:50
Static Analysis and Abstract InterpretationVMCAI at Salon I
Chair(s): Thomas Wies New York University
10:20
30m
Paper
Relational String Abstract DomainsRemote
VMCAI
Vincenzo Arceri University of Parma - Department of Mathematical, Physical, and Computer Sciences, Martina Olliaro Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and Statistics, Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy
10:50
30m
Paper
Lightweight Shape Analysis based on Physical TypesInPerson
VMCAI
Olivier Nicole CEA LIST, France, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris
11:20
30m
Paper
A Flow-Insensitive-Complete Program RepresentationRemote
VMCAI
Solène Mirliaz ENS Rennes / IRISA / Inria, David Pichardie Facebook Paris
Hide past events