Written entirely in Java with comprehensive and clear documentation, LiSA is designed around modular components that encourage reuse, extension, and rapid adoption. Its structure makes it easy for new users to get started, while still supporting advanced customization for researchers and developers.
Browse the code on GitHub
LiSA is supported by an extensive body of publications and has been adopted in both research and teaching contexts. Its track record demonstrates reliability, meaningful impact, and a strong presence in the academic community, making it a trusted platform for experimentation and education.
Check out all publications using LiSA
Built on the principles of Abstract Interpretation, LiSA provides sound, rigorous analysis with formal guarantees. Its theoretical foundation ensures that results are reliable and reproducible, making it suitable for high-assurance applications and scientific research.
Read more on Abstract Interpretation
LiSA has been applied across a wide range of domains, including blockchain systems, robotics, microservices, and data science applications. Supporting multiple programming languages and fully integrated into Ghidra, it provides practical, real-world applicability alongside foundational work on modular and compositional analysis.
Discover how LiSA can be configuredLiSA is a research project under active development. Some features might be incomplete or missing, and the API might change in future releases. We will do our best to self-document this through semantic versioning, but things might break nonetheless.
Frontends and Projects
LiSA is a powerful engine backing several static analyzers for different programming languages and domains, all developed as part of the project.
Get Involved
LiSA is developed and maintained by the Software and System Verification (SSV) group @ Università Ca’ Foscari in Venice, Italy. External contributions are always welcome! Check out our contributing guidelines for information on how to contribute to LiSA.
We are open for collaborations! If you want to work with LiSA or have an idea for a new frontend and you want to join forces, get in contact with one of the team members.
People
LiSA is the result of the work of many people gravitating around the SSV research group, focusing on differnt parts of the library or on one of the frontends developed over the years.
