KLEE Symbolic Execution Engine

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

Whole Program LLVM: wllvm ported to go

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

Seeding fuzzers with symbolic execution

Fuzzing tutorial with easy-to-learn labs 🚀

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

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.

TracerX Symbolic Virtual Machine

angr中文版文档

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

Sudoku Solver using Z3

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

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

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

State Inspection Tool for LLVM

Customized symbolic analysis to find pointer analysis bugs