Resources and Publications

Releases

Details on the latest official release of LiSA can be found on the GitHub releases page. There, you can find release notes, source code archives, and links to pre-built binaries that are publihed on Maven Central.

The snapshot of the last commit of the master branch is always available on GitHub Packages. Be aware that you will need a personal access token to use packages as server for resolving dependencies. You can refer to the official GitHub guide for Maven or Gradle for more information.

Javadoc

An additional source of documentation is LiSA’s javadoc, that is published alongside each release. Your IDE should be able to automatically fetch it when you add LiSA as a dependency to your project. Otherwise, you can find it online:

Publications

Warning:
Note that some of these publications might refer to older versions of LiSA, and thus some details might be outdated. Nonetheless, they can provide useful insights on LiSA’s design and capabilities.

Important:
If you have published a paper using LiSA and would like it to be listed here, open an issue to let us know so that we can add it to this list!

The icon indicates and links the frontend used in the publication, if any.

Publications describing LiSA

Luca Negrini (2023). A Generic Framework for Multilanguage Analysis. Ph.D. thesis, Ca’ Foscari University of Venice.
PDF

Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara (2024). Teaching Through Practice: Advanced Static Analysis with LiSA. In: Sekerinski, E., Ribeiro, L. (eds) Formal Methods Teaching. FMTea 2024. Lecture Notes in Computer Science, vol 14939. Springer, Cham.
PDF DOI

Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi (2023). LiSA: A Generic Framework for Multilanguage Static Analysis. In: Arceri, V., Cortesi, A., Ferrara, P., Olliaro, M. (eds) Challenges of Software Verification. Intelligent Systems Reference Library, vol 238. Springer, Singapore.
PDF DOI

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi (2021). Static analysis for dummies: experiencing LiSA. In: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021). Association for Computing Machinery, New York, NY, USA, 1–6.
PDF DOI

Publications using LiSA

Luca Negrini (2026). Whole-value analysis by abstract interpretation. In: Frontiers in Computer Science, 7:1655377.
PDF DOI go-lisa

Luca Olivieri, Luca Negrini (2025). Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software. In: 7th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Zurich, Switzerland, 2025, pp. 1-9.
PDF DOI go-lisa

Luca Olivieri (2025). Detection of Cross-Channel Invocation Risks in Hyperledger Fabric. In: 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE), São Paulo, Brazil, 2025, pp. 107-118
DOI go-lisa

Luca Olivieri, David Beste, Luca Negrini, Lea Schönherr, Antonio Emanuele Cinà, Pietro Ferrara (2025). Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric. In: 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE), São Paulo, Brazil, 2025, pp. 239-251
PDF DOI go-lisa

Vincenzo Arceri, Saverio Mattia Merenda, Luca Negrini, Luca Olivieri, Enea Zaffanella (2025). EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode. In: Blockchain: Research and Applications, 100384.
PDF DOI evm-lisa

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto (2025). Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. In: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC ‘25). Association for Computing Machinery, New York, NY, USA, 338–347.
PDF DOI go-lisa

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi (2025). Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. In: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC ‘25). Association for Computing Machinery, New York, NY, USA, 329–337.
PDF DOI go-lisa

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini (2024). Inference of access policies through static analysis. In: International Journal on Software Tools for Technology Transfer, 26, 797-821.
PDF DOI pylisa

Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi (2024). Stability: an Abstract Domain for the Trend of Variation of Numerical Variables. In: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD ‘24). Association for Computing Machinery, New York, NY, USA, 10–17.
PDF DOI lisa-imp

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White (2024). Automating ROS2 Security Policies Extraction through Static Analysis. In: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Abu Dhabi, United Arab Emirates, 2024, pp. 3627-3634.
PDF DOI pylisa

Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White (2024). Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA. In: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024). Association for Computing Machinery, New York, NY, USA, 5–10.
PDF DOI pylisa

Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella (2024). Towards a Sound Construction of EVM Bytecode Control-flow Graphs. In: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024). Association for Computing Machinery, New York, NY, USA, 11–16.
PDF DOI evm-lisa

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi (2024). Detection of Phantom Reads in Hyperledger Fabric. In: EEE Access, vol. 12, pp. 80687-80697, 2024.
PDF DOI go-lisa

Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara (2024). Tarsis: An effective automata-based abstract domain for string analysis. In: Journal of Software: Evolution and Process, 2024. 36(8):e2647.
PDF DOI go-lisa

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas Jensen, Fausto Spoto (2024). Design and Implementation of Static Analyses for Tezos Smart Contracts. In: Distributed Ledger Technologies: Research and Practice. 4, 2, Article 13 (June 2025), 23 pages.
PDF DOI michelson-lisa

Luca Olivieri, Vincenzo Arceri, Luca Negrini, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto (2023). Information Flow Analysis for Detecting Non-Determinism in Blockchain. In: 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 23:1-23:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
PDF DOI go-lisa

Static Analysis of Data Transformations in Jupyter Notebooks (2023). Luca Negrini, Guruprerana Shabadi, Caterina Urban. In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023). Association for Computing Machinery, New York, NY, USA, 8–13.
PDF DOI pylisa

MichelsonLiSA: A Static Analyzer for Tezos (2023). Luca Olivieri, Thomas Jensen, Luca Negrini, Fausto Spoto. In: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), Atlanta, GA, USA, 2023, pp. 80-85.
PDF DOI michelson-lisa

Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Tallin (2022). Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report. In: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022). Association for Computing Machinery, New York, NY, USA, 23–29.
PDF DOI go-lisa