Stars
MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
Free and Open Source Reverse Engineering Platform powered by rizin
open-source jailbreaking tool for many iOS devices
Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
SXKDVM - OSX Docker KVM / Run an OSX KVM virtual machine inside a Docker container.
A high performance BitTorrent client for servers and seedboxes.
Ghidra is a software reverse engineering (SRE) framework
A simple manager for configuring, creating and starting xhyve VMs. Written in bash
Code and data used to generate the analyses in "Tempest: Temporal Dynamics in Anonymity Systems".
A community driven collection of IDA FLIRT signature files
IDA Pro plugin which improves work with HexRays decompiler and helps in process of reconstruction structures and classes
Collaborative Reverse Engineering plugin for IDA Pro & Hex-Rays
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Produce code coverage results with gcov from afl-fuzz test cases