lisa-analyzer/jlisa

Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉

语言：Java · GitHub 星标：32 · Fork：2

话题：abstract-interpretation · formal-methods · formal-verification · java · program-analysis · program-verification · static-analysis · sv-comp

在 GitHub 上查看原仓库