borzacchiello / bncallgraphLinks
Binary Ninja Plugin for Generating Callgraphs
☆17Updated 3 years ago
Alternatives and similar repositories for bncallgraph
Users that are interested in bncallgraph are comparing it to the libraries listed below
Sorting:
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆30Updated 4 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 7 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆52Updated 5 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆60Updated 2 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- ☆31Updated 4 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- First level taint implementation with qemu for linux user mode☆29Updated 4 years ago
- x86 bootloader emulation with Miasm (case of NotPetya)☆42Updated 6 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated last year
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- A fast execution trace symbolizer for Windows.☆131Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆18Updated 3 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 4 years ago
- ☆38Updated 4 years ago
- A set of helpers and examples to fuzz Win32 binaries with AFL++ QEMU☆69Updated 5 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 5 years ago
- tool for multi-execution jump coverage introspection☆64Updated 4 months ago
- Ditto.☆17Updated 4 years ago
- A code-searching/completion tool, for IDA APIs☆83Updated 4 months ago