BinaryResearch / lepton
Lepton is a Lightweight ELF Parsing Tool that was designed specifically for analyzing and editing binaries with damaged or corrupted ELF headers.
☆35Updated 3 years ago
Alternatives and similar repositories for lepton:
Users that are interested in lepton are comparing it to the libraries listed below
- Making Type Info Library (TIL) file for Apache modules☆55Updated 3 years ago
- A PCode Emulator for Ghidra.☆108Updated 4 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆45Updated 2 years ago
- integration with IDA☆92Updated 3 years ago
- Python based angr plug in for IDA Pro.☆34Updated 7 years ago
- Build your emulation environment as needed☆65Updated 3 years ago
- ARMv7 architecture plugin☆40Updated last year
- ☆30Updated 4 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆52Updated 5 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆81Updated 5 years ago
- bash script and modified java program to headlessly use ghidra's decompiler☆55Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Nampa - FLIRT for (binary) ninjas☆94Updated 2 months ago
- ☆56Updated 4 years ago
- ☆50Updated last year
- Interface GDB-GEF with Binary Ninja☆58Updated 3 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆55Updated last month
- QuarkslaB Dynamic Linker library☆80Updated 3 months ago
- A set of helpers and examples to fuzz Win32 binaries with AFL++ QEMU☆69Updated 4 years ago
- Cross-architecture instruction counting for CTF solving☆46Updated 3 years ago
- ☆76Updated 3 years ago
- Python portage of the Microcode Explorer plugin☆31Updated 5 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- x86/x64 architecture plugin☆39Updated last year
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆35Updated last year
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Symbolic Simplification with PAttern Matching☆104Updated 8 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 2 years ago