cea-sec / miasm

Reverse engineering framework in Python

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

klee / klee

KLEE Symbolic Execution Engine

cksystemsteaching / selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

AliveToolkit / alive2

Automatic verification of LLVM optimizations

stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.