klee

KLEE Symbolic Execution Engine

A native macOS AI chat app powered by MLX. 100% local inference on Apple Silicon, no cloud required. Built with ShipSwift.

Whole Program LLVM: wllvm ported to go

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

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

Seeding fuzzers with symbolic execution

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

Fuzzing tutorial with easy-to-learn labs 🚀

A set of programs used for benchmarking the strength of obfuscation

KLEE-TAINT - Klee with taint analysis support

Lazy python wrapper of KLEE for solving CTF challenges

Create CFGs and compute complexity metrics for Python, C++, and Java code.

angr中文版文档

TracerX Symbolic Virtual Machine

A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

Sudoku Solver using Z3

An automation tool to generate, obfuscate, compile and run symbolic execution on c source files

Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)

A framework for using test case generators to locate errors in C programs

Customized symbolic analysis to find pointer analysis bugs