Hypersonic / msp430_symex
msp430 symbolic execution engine, targeted at microcorruption
☆8Updated 7 years ago
Alternatives and similar repositories for msp430_symex:
Users that are interested in msp430_symex are comparing it to the libraries listed below
- A BinaryNinja plugin to graph a BNIL instruction tree☆85Updated last year
- Gave a talk on Vectorized emulation at Recon Montreal 2019, here are the slides☆16Updated 5 years ago
- vasilisk☆19Updated 5 years ago
- Automatic Vulnerability Discovery☆37Updated 5 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 3 years ago
- ☆59Updated 2 weeks ago
- haze binary fuzzer☆52Updated 9 months ago
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 4 years ago
- ☆48Updated 2 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆70Updated 5 months ago
- WTF Snapshot fuzzing of macOS targets☆94Updated 8 months ago
- ☆75Updated 2 years ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆84Updated last week
- Binary Ninja Posters☆35Updated 4 years ago
- ☆21Updated 5 years ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆61Updated 4 years ago
- ☆13Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- A Low Level IL emulator for Binary Ninja☆37Updated 6 years ago
- A binary ninja plugin that finds format string vulnerabilities☆23Updated 4 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆89Updated last year
- Cross-architecture instruction counting for CTF solving☆46Updated 2 years ago
- Use Ghidra Structs in Python☆28Updated 3 years ago
- Collection of images and examples to use with Shoggoth.☆19Updated 4 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated 9 months ago
- Qiling Advanced Binary Emulation framework☆23Updated 4 years ago
- A library for patching ELFs☆53Updated 4 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 2 months ago
- Snapshot fuzzing with KVM and LibAFL☆94Updated 2 years ago
- ☆47Updated 2 years ago