JLiSA

MITJava

A Java static analysis tool that translates Java code into LiSA's IR and runs configurable abstract interpretation analyses for bug detection and verification.

Visit Website GitHub

28 stars2 forks0 contributors

Overview

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

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

Last commit

7 days ago

CreatedSince 2025

Auto-fetched 1 day ago

PHP Parser

A PHP parser written in PHP

Stars17,442

Forks1,123

Last commit4 months ago

TypeScript ESLint

:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript

Static Type Checker for Python

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

Stars9,408

Forks490

Last commit1 day ago

JLiSA

Overview

Related Projects

Found a gem we're missing?

Tags

Built With

Links & Resources

Included in