Java static analyzer built on LiSA —

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

Java Updated 13 days ago 1 commits 32 stars

vortex-ai|Mirror: lisa-analyzer/jlisa (⭐32)

13 days ago

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

Readme

32 stars

2 forks