PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

This program is tentative and subject to change.

Mon 24 Jun 2024 09:00 - 10:10 at Sweden - LiSA
Mon 24 Jun 2024 10:40 - 12:20 at Sweden - LiSA

The development of a fully semantic static analyzer based on the Abstract Interpretation theory requires theoretical knowledge, development skills, and quite a lot of time. Usually, such analyzers require the development of a parser, and several standard components for the analysis (such as fixpoint computations, standard abstraction of values and heap structures, etc..). Unfortunately, the current industrial trend is to develop and adopt syntactic analyzers (that are usually quite imprecise and unsound) instead of adopting more semantics approaches (usually more precise and sound[y]). LiSA (LIbrary for Static Analysis, https://github.com/lisa-analyzer) aims to ease the creation and implementation of those static analyzers by providing the implementations of the main analysis components. In this tutorial, we will explain how one can use such a library to implement some standard value abstractions, and property checkers, and to extend it to other programming languages.

Work partially supported by SERICS (PE00000014) project funded by PNRR NextGeneration EU.

This program is tentative and subject to change.

Mon 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
09:00
70m
Tutorial
Quick and dirty development of static analyses with LiSA
Tutorials
Luca Negrini Ca’ Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy
Link to publication
10:40 - 12:20
10:40
1h40m
Tutorial
Quick and dirty development of static analyses with LiSA
Tutorials
Luca Negrini Ca’ Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy
Link to publication