lisa-analyzer/lisa

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

语言：Java · GitHub 星标：88 · Fork：35

话题：abstract-interpretation · analysis · analyzer · cybersecurity · formal-methods · java · lisa · program-verification

在 GitHub 上查看原仓库