Static analysis for dummies: experiencing LiSA

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi. Static analysis for dummies: experiencing LiSA. In Lisa Nguyen Quang Do, Caterina Urban, editors, SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021. pages 1-6, ACM, 2021. [doi]

Abstract

Abstract is missing.