A Journey through LiSA and its Frontends

Speaker: Vincenzo Arceri
Affiliation: University of Parma
Type: Scientific Talk

Abstract

LiSA (Library for Static Analysis) is an open-source Java library that provides a comprehensive infrastructure for building static analyzers based on abstract interpretation. I will present some of LiSA’s core components, such as the parametric combination of heap and value domains and the CFG node-to-symbolic expression rewriting system. I will then present some of the most popular LiSA frontends, including JLiSA, GoLiSA, and EVMLiSA, which are static analyzers for Java, Go, and EVM bytecode, respectively. We will discuss the main challenges encountered during the development of both LiSA and its frontends. Finally, I will outline the next steps and future directions of the project, such as integrating string-to-code statement analysis with abstract interpretation in LiSA.