LiSA: A Generic Framework for Multilanguage Static Analysis
Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
Topics & Concepts
Computer scienceStatic analysisProgramming languageModular designStatic program analysisAbstract interpretationJavaGeneric programmingProgram analysisProgram slicingSoftwareSoftware engineeringSoftware developmentLogic, programming, and type systemsSecurity and Verification in ComputingSoftware Testing and Debugging Techniques