Stars
A Dynamic Binary Instrumentation framework based on LLVM.
Public API, examples, documentation and issues for Binary Ninja
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
SAEG: Stateful Automatic Exploit Generation, an AEG framework for CGC / RHG and pwnable CTF challenges.
Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries.
Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com
Symbolic Execution Engine based on Ghidra's PCode
Quickly create and run optimised Windows, macOS and Linux virtual machines
bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, basic, x86/x64 instruction emulator, designed specifically to detect shellcode-like behavior.
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), based upon the QEMU translators.
Rellic produces goto-free C output from LLVM bitcode
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
A static binary rewriter that does not use heuristics
RetDec is a retargetable machine-code decompiler based on LLVM.
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …
Porting Windows Dynamic Link Libraries to Linux
A cheatsheet of modern C++ language and library features.