Hypersonic / msp430_symex
msp430 symbolic execution engine, targeted at microcorruption
☆8Updated 7 years ago
Related projects: ⓘ
- Gave a talk on Vectorized emulation at Recon Montreal 2019, here are the slides☆16Updated 5 years ago
- A BinaryNinja plugin to graph a BNIL instruction tree☆82Updated last year
- Cross-architecture instruction counting for CTF solving☆42Updated 2 years ago
- ☆21Updated 4 years ago
- Binary Ninja Posters☆35Updated 3 years ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆58Updated 4 years ago
- ☆59Updated last week
- Automatic Vulnerability Discovery☆37Updated 5 years ago
- vasilisk☆19Updated 4 years ago
- Nampa - FLIRT for (binary) ninjas☆81Updated last year
- A binary ninja plugin that finds format string vulnerabilities☆22Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 3 years ago
- ☆80Updated 8 months ago
- ☆60Updated 2 years ago
- Collection of images and examples to use with Shoggoth.☆19Updated 4 years ago
- ☆13Updated 4 years ago
- A library for patching ELFs☆52Updated 3 years ago
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 3 years ago
- A Low Level IL emulator for Binary Ninja☆36Updated 5 years ago
- A PCode Emulator for Ghidra.☆102Updated 3 years ago
- Use Ghidra Structs in Python☆28Updated 3 years ago
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆121Updated last year
- QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.☆41Updated 4 years ago
- haze binary fuzzer☆52Updated 4 months ago
- ☆25Updated this week
- Ghidra Emulates Functions☆51Updated 3 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆26Updated 6 years ago
- Challenges from CSAW 2019 Pwn Race Edition☆12Updated 4 years ago