JLiSA

github.comtool

An abstract interpretation-based static analyzer for Java build upon the LiSA framekwork.

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

Static Analysis & Code Quality › Programming Languages: “An abstract interpretation-based static analyzer for Java build upon the LiSA framekwork.”