quarkslab / python-binexport
Python interface for Binexport, the Bindiff export format
☆14Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for python-binexport
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆22Updated 8 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.☆22Updated last year
- Ghidra analyzer for UEFI firmware.☆15Updated last year
- ☆17Updated 2 years ago
- Breaking Secure Boot with SMM☆39Updated 2 years ago
- ☆14Updated last year
- ☆13Updated 2 years ago
- ☆9Updated 3 weeks ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆22Updated 7 months ago
- QEMU to drcov trace file☆11Updated 3 years ago
- binary ninja related code☆24Updated 2 years ago
- A tool to perform so called BGE attack☆21Updated 7 months ago
- prebuild angr wheels for Windows on x86_64☆13Updated 6 years ago
- IDA (sort of) headless☆20Updated 8 months ago
- Extract data of TTD trace file to a minidump☆28Updated last year
- Output high level Pcode (PcodeAST) in Ghidra☆15Updated last year
- ☆30Updated 4 years ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- ☆27Updated 4 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆26Updated last year
- Python bindings for BochsCPU☆34Updated last month
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆42Updated 4 months ago