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. Here are some of the main frontends and projects built on top of LiSA:
A frontend for the analysis of Go blockchain programs and smart contracts, focusing on Hyperledger Fabric, Cosmos SDK, Tendermint Core, and Ethereum Client.
GitHubA frontend for sound CFG reconstruction and analysis of EVM bytecode for Ethereum blockchains.
GitHubSee all available frontends and projects in the Configuration page.
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 different parts of the library or on one of the frontends developed over the years.
Maintainers and Main Contributors
Project Members
News and Highlights
JLiSA, the Java frontend of LiSA, participated for the first time in SV-COMP 2026, the leading competition for software verification tools, and placed 3rd in the Java category, demonstrating its effectiveness and competitiveness in the field. JLiSA is the only Java tool based on Abstract Interpretation, and achieved fully sound results with no false positives in the entire competition.
Check out SV-COMP 2026 results for the Java categoryLiSA has been fully integrated into Ghidra since version 12.0, providing a powerful static analysis framework for PCode (Ghidra's intermediate representation) able to perform a wide range of analyses on binary code.
See Ghidra's documentation of the integration