https://github.com/lisa-analyzer/lisa

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

abstract-interpretation analysis analyzer cybersecurity formal-methods java lisa program-verification static-analysis static-analyzer static-analyzers

Last synced: 27 Feb 2025