LiSA will be presented tomorrow at SOAP!

Tomorrow we will present 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 (, 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: