574 Open source projects that are alternatives of or similar to jayhorn

SeaHorn Verification Framework

Read-only mirror of the Klever Git repository

Links to tools by subject

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

TLA+ language support for Visual Studio Code

TLA+ language support for Visual Studio Code

Kani Rust Verifier

Concuerror is a stateless model checking tool for Erlang programs.

Software Quality Wiki

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Docker image for Alpine Linux with latest ShellCheck, a static analysis tool for shell scripts.

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

Information to reproduce results from SV-COMP (MOVED, please follow the link)

SQL Server static code analysis rules for SSDT database projects

An Error Prone plugin for SLF4J

Code Climate Engine for PHP Code Sniffer

The Eldarica model checker

简单的滑动验证码JS插件 图片验证码

PCIe (1.0a to 2.0) Virtual host model for verilog

A multi-formalism, multi-solution model-checker centered on the language GAL

A Python Bytecode Disassembler helping reverse engineers in dissecting Python binaries by disassembling and analyzing the compiled python byte-code(.pyc) files across all python versions (including Python 3.10.*)

A Framework for Deep Neural Network Verification

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)

Neural Network Verification Software Tool

Fully customizable UI Component for verification codes written in swift with RxSwift support!

OPEM (Open Source PEM Fuel Cell Simulation Tool)

an obfuscation-resilient, highly precise and reliable library detector for Android applications

Steam integration for TeamSpeak 3

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

The Java SDK for interacting with the Yoti Platform

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Java bytecode generator for sound and precise partial program analysis

coala base docker image

Fingerprint is a simple tool that can be used to verify the contents of a directory.

An advanced automatic speedrun load time remover for community verifiers.

A tool for linting and static analysis of Lua code.

Snap Programming Language

OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.

Ruby interface to IEEE 1364-2005 Verilog VPI

📐 Tools for surveying Dart packages

A pair programming partner for writing better PHP. Pahout means PHP mahout 🐘

Staticcheck's official GitHub Action

Making CoreOS' Clair easily work in CI/CD pipelines

Integrate SonarQube scanner to GitHub Actions

SonarQube Cucumber Gherkin Analyzer

Development of the CafeOBJ interpreter

High-level library for executable binary file analysis

An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.

An NPM package to generate captcha images that can be used in Discord bots or various other projects

Code Climate Engine for ESLint

Android view for providing blocks (Edit Texts) to achieve verification process.

VHDL-2008 Support Library

Verify code input. You can create a verify code input.

GitHub Action for the codacy-analysis-cli

Provides email verification on the go.

Github mirror of "mediawiki/tools/phan/SecurityCheckPlugin" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)

A library to read static analysis reports into a Java object model

A personal app to store people that owe you money or you owe money to. "Mo Money Mo Problems" 🎵 - The Notorious B.I.G. 😎