mechanicalnull / phantasm
Binary Ninja plugin for visualizing coverage over time
☆25Updated 3 years ago
Alternatives and similar repositories for phantasm:
Users that are interested in phantasm are comparing it to the libraries listed below
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆28Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆18Updated 3 years ago
- ☆47Updated 2 years ago
- Repo for fuzzing projects☆46Updated 4 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- ☆30Updated 4 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- Python bindings for BochsCPU☆35Updated this week
- Python interface for Binexport, the Bindiff export format☆14Updated 7 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Ghidra analyzer for UEFI firmware.☆15Updated last year
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆26Updated 2 weeks ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated 9 months ago
- Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…☆30Updated 4 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- Files for my solution to the SSTIC 2021 challenge☆15Updated 3 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- ☆41Updated 2 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 3 years ago
- ☆13Updated 3 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Fuzzing v8 with dharma and libfuzzer☆13Updated 5 years ago
- Radamsa written in c ported to Rust☆11Updated last year