SystemSecurityStorm / Awesome-Binary-Rewriting
An awesome & curated list of binary rewriting papers
☆215Updated 2 years ago
Related projects: ⓘ
- SymQEMU: Compilation-based symbolic execution for binaries☆317Updated last month
- ☆125Updated 2 weeks ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆234Updated 2 years ago
- A LLVM Sanitizer for Symbolic Tracing☆206Updated last week
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆207Updated 4 years ago
- Recent symbolic execution papers and tools.☆133Updated this week
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆435Updated last month
- BinRec: Dynamic Binary Lifting and Recompilation☆109Updated last year
- Kernel fuzzer inspired by Syzkaller.☆261Updated 2 years ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆157Updated 2 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆175Updated 2 years ago
- A grammar-based custom mutator for AFL++☆224Updated 2 months ago
- Linux Kernel Fuzzer Corpus☆127Updated this week
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆193Updated 2 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆175Updated this week
- Symbolic Execution Over Processor Traces☆116Updated last month
- AFL binary instrumentation☆291Updated last year
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆133Updated 3 years ago
- ☆294Updated 3 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆149Updated 2 years ago
- The fastest Intel-PT decoder for fuzzing☆356Updated 7 months ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆395Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆103Updated last month
- Learn how to combine libprotobuf-mutator with libfuzzer & AFL++☆241Updated 5 months ago
- sleigh craft!☆246Updated 2 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆94Updated 2 weeks ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆518Updated this week
- ☆215Updated 8 months ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆171Updated 5 months ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆249Updated 8 months ago