Tomorrow we will present LiSA (https://github.com/UniVE-SSV/lisa), our novel library for static analysis, and in particular its application to simple analyses at SOAP!
The paper “Static analysis for Dummies: Experiencing LiSA” by Pietro Ferrara, Luca Negrini, Vincenzo Arceri, and Agostino Cortesi has been published (https://dl.acm.org/doi/10.1145/3460946.3464316), and Vincenzo will present it tomorrow at 4.45pm GMT+2:00 in the 10th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (you can follow the full program here: https://pldi21.sigplan.org/home/SOAP-2021#program)