Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Seahorn	391	6 months ago	20	other	C
SeaHorn Verification Framework
Jayhorn	72	5 months ago	19	mit	Java
Static checker for Java
Klever	19	3 months ago	1	apache-2.0	Python
Read-only mirror of the Klever Git repository
Lart	6	a year ago	29	mit	C++
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.

Alternatives To Jayhorn

Select To Compare

Seahorn ⭐ 391

SeaHorn Verification Framework

most recent commit 6 months ago

Jayhorn ⭐ 72

Static checker for Java

most recent commit 5 months ago

Klever ⭐ 19

Read-only mirror of the Klever Git repository

most recent commit 3 months ago

Lart ⭐ 6

LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.

most recent commit a year ago

Suggest An Alternative To jayhorn

Alternative Project Comparisons

Jayhorn vs Seahorn

Jayhorn vs Klever

Jayhorn vs Lart

Popular Static Analysis Projects

Shellcheck ⭐ 34,253

ShellCheck, a static analysis tool for shell scripts

dependent packages 1total releases 3latest release November 07, 2021most recent commit 3 months ago

Imhex ⭐ 31,549

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

total releases 1latest release August 10, 2022most recent commit 3 months ago

Ruff ⭐ 25,957

An extremely fast Python linter and code formatter, written in Rust.

dependent packages 1,746total releases 274latest release December 04, 2023most recent commit 15 days ago

Swiftlint ⭐ 18,204

A tool to enforce Swift style and conventions.

total releases 79latest release December 01, 2023most recent commit a month ago

Php Parser ⭐ 16,433

A PHP parser written in PHP

dependent packages 1,029total releases 90latest release September 17, 2023most recent commit 3 months ago

Popular Model Checking Projects

P ⭐ 2,845

The P programming language.

dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months ago

Tlaplus ⭐ 2,154

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

most recent commit 3 months ago

Kani ⭐ 1,699

Kani Rust Verifier

total releases 44latest release November 28, 2023most recent commit 3 months ago

Tla Rust ⭐ 831

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

most recent commit 7 years ago

Alive2 ⭐ 634

Automatic verification of LLVM optimizations

most recent commit 3 months ago

Popular Code Quality Categories