suibex / donna
Debugger and analyzer for ARM ELF executables.
☆19Updated 2 years ago
Alternatives and similar repositories for donna:
Users that are interested in donna are comparing it to the libraries listed below
- LLVM based devirtualization PoC’s.☆20Updated 3 years ago
- Native Rust bindings for @horsicq's Detect-It-Easy☆13Updated 2 months ago
- Helper scripts for windows debugging with symbols for Bochs and IDA Pro (PDB files). Very handy for user mode <--> kernel mode☆19Updated last year
- Example of an ELF parser to learn about the ELF format☆10Updated 6 months ago
- IDA Pro Python plugin to analyze and annotate Linux kernel alternatives☆23Updated 3 years ago
- A Linux x86/x86-64 tool to trace registers and memory regions.☆37Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- ☆24Updated 3 years ago
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Updated 4 years ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆34Updated 11 months ago
- Triton based symbolic emulator☆16Updated 2 years ago
- An IDA plugin that allows you call IDA python APIs from remote.☆15Updated 2 years ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 6 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 2 months ago
- ☆31Updated 4 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- function identification signatures☆12Updated 3 years ago
- IDA Database Importer plugin for Binary Ninja☆37Updated 7 months ago
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆15Updated last year
- A collection of Binary Ninja plugins☆25Updated 2 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- A driver to implement IOCTL hooking☆24Updated 3 years ago
- Collection of IDA Pro/Hex-Rays configs, scripts, and plugins☆23Updated 5 years ago
- hypervisor enforced patch protection for the linux kernel with xen + libvmi, libvmi KASLR offset spoofer☆31Updated 11 months ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Updated 4 years ago
- dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.☆24Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆17Updated 2 years ago
- Rizin FLIRT Signature Database☆39Updated last year
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago