BinaryAnalysisPlatform / bapLinks
Binary Analysis Platform
☆2,176Updated 5 months ago
Alternatives and similar repositories for bap
Users that are interested in bap are comparing it to the libraries listed below
Sorting:
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,833Updated 7 months ago
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,722Updated 3 years ago
- Platform for Architecture-Neutral Dynamic Analysis☆2,675Updated this week
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆3,883Updated last week
- KLEE Symbolic Execution Engine☆2,839Updated 3 months ago
- Driller: augmenting AFL with symbolic execution!☆954Updated 6 months ago
- Library for lifting machine code to LLVM bitcode☆1,472Updated last month
- Automated static analysis tools for binary programs☆1,637Updated last month
- A Coverage Explorer for Reverse Engineers☆2,426Updated last year
- Reverse engineering framework in Python☆3,742Updated 8 months ago
- Documentation for the angr suite☆845Updated 2 years ago
- cwe_checker finds vulnerable patterns in binary executables☆1,269Updated 6 months ago
- rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.☆2,023Updated last month
- A powerful static binary rewriting tool☆1,051Updated 6 months ago
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,437Updated 3 months ago
- revng: the core repository of the rev.ng project☆1,563Updated this week
- Dynamic Instrumentation Tool Platform☆2,917Updated this week
- Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)☆3,263Updated last month
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,585Updated 4 months ago
- DECAF (short for Dynamic Executable Code Analysis Framework) is a binary analysis platform based on QEMU. This is also the home of the D…☆828Updated 11 months ago
- SymCC: efficient compiler-based symbolic execution☆840Updated 5 months ago
- Public API, examples, documentation and issues for Binary Ninja☆1,116Updated this week
- A fast and accurate disassembler☆722Updated last week
- Display information about files in different file formats and find gadgets to build rop chains for different architectures (x86/x86_64, A…☆2,039Updated 7 months ago
- A lightweight dynamic instrumentation library☆1,285Updated 6 months ago
- A fork of AFL for fuzzing Windows binaries☆2,481Updated 2 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆725Updated 5 months ago
- Export disassemblies into Protocol Buffers☆1,147Updated last month
- The official angr GUI.☆1,062Updated last week
- Some helpful preload libraries for pwning stuff.☆1,629Updated 4 months ago