278 Open source projects that are alternatives of or similar to Rel

Binary Analysis Platform

Main repository of the Vigor NF verification project.

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Simple Theorem Prover, an efficient SMT solver for bitvectors

No description or website provided.

Extracting high level semantic information from binary code

Symbolic execution tool

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Automatic verification of LLVM optimizations

CRETE under development

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

Development of the CafeOBJ interpreter

DrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.

A Framework for Deep Neural Network Verification

CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, canonical repository for this project -- file bug reports and wishes here!

VHDL-2008 Support Library

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

symbolic execution plugin for binary ninja

Self hosted identity verification layer with GraphQL.

Fully verified model checker for realtime systems

[Deprecated] Typescript-version of the IN3 client.

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

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

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

Verified, concurrent, crash-safe transaction system

Fuzzer to automatically find side-channel (timing) vulnerabilities

TRACER Symbolic Execution Tool

Ruby interface to IEEE 1364-2005 Verilog VPI

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

Kani Rust Verifier

Symbolic Execution Engine for Boogie

High-level library for executable binary file analysis

Home of the Move programming language

A Modeling and Verification Platform for SoCs using ILAs

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

Provides email verification on the go.

The PHP SDK for interacting with the Yoti Platform

The Eldarica model checker

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Constant-time JavaScript functions

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

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

Static checker for Java

Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19

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

SyReNN: Symbolic Representations for Neural Networks

A 6502-oriented low-level programming language supporting advanced static analysis

high performance AES implementations optimized for cortex-m microcontrollers

An advanced automatic speedrun load time remover for community verifiers.

验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）

Steam integration for TeamSpeak 3

The Java SDK for interacting with the Yoti Platform

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

WAL enables programmable waveform analysis.

VATA Tree Automata Library

Nampa - FLIRT for (binary) ninjas

Cross-platform, generic language, Pact provider verification tool

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

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

Neural Network Verification Software Tool