ehennenfent / binja_sensei
Educational tools for Binary Ninja
☆20Updated 6 years ago
Alternatives and similar repositories for binja_sensei:
Users that are interested in binja_sensei are comparing it to the libraries listed below
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- Binary Ninja plugin for ROP gadget calculation☆28Updated 5 years ago
- A series of dynamic analysis tools for Binary Ninja, built with PyQt and Binjatron☆19Updated 4 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Updated 7 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆69Updated 6 months ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- Proof of Concept files for SensePost's blog - Painless intro to the linux userland heap☆22Updated 7 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Processes and metrics for assessing obfuscation effectiveness☆55Updated 8 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 5 years ago
- RetDec Offline Decompiler☆45Updated 5 years ago
- Programmatic disassembly and patching☆67Updated 8 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- Flounder is an old corpus collector I wrote, but it still works. Just need a Bing API key☆17Updated 5 years ago
- Radamsa written in c ported to Rust☆11Updated last year
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- A Low Level IL emulator for Binary Ninja☆37Updated 6 years ago
- binary ninja plugin for adding custom hooks to executables☆22Updated 4 years ago
- Binary Ninja plugin that syncs WinDbg to Binary Ninja☆47Updated 6 years ago
- C++ wrapper around KLEE and AFL for intelligent, coverage guided fuzzing. Developed while doing research at MWR Infosecurity☆18Updated 6 years ago
- [WIP] pivot a running process into an emulator for instrumentation☆13Updated 8 years ago
- Use Dispatch to add AFL-compatible instrumentation to your binaries☆12Updated 8 years ago
- Symbolic execution for LLVM traces produced by PANDA☆40Updated 6 years ago
- Binary ninja plugins☆16Updated 8 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Updated 6 years ago
- REIL translation library☆36Updated 8 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆101Updated 4 months ago
- Interface GDB-GEF with Binary Ninja☆58Updated 4 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago