airbus-seclab / AutoResolv
☆80Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for AutoResolv
- Static Binary Instrumentation☆118Updated 3 years ago
- harness for fuzzing with winafl. both public and my own which i have released.☆53Updated 3 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆74Updated 2 years ago
- Target components for kAFL/Nyx Fuzzer☆33Updated 10 months ago
- Hex-Rays Block Highlighter plugin for IDA to highlight if/for/do/switch/while blocks☆60Updated 2 years ago
- ☆74Updated last month
- Go fastcall analysis for ida decompiler☆28Updated 6 months ago
- IDA SIG files for multiarch uClibc library☆37Updated 6 years ago
- Dark+ Theme☆48Updated 6 months ago
- ☆71Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- A collection of my scripts for research☆11Updated 3 weeks ago
- IDA Pro to Ghidra Key Bindings to feel like if you were in IDA Pro when navigating☆86Updated 5 years ago
- An IDA plugin which demangles Rust function names☆31Updated 11 months ago
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆34Updated last year
- nanoMIPS IDA plugin☆65Updated 3 years ago
- Practical P-Code examples☆43Updated 3 years ago
- IDA plugin displaying the P-Code for the current function☆64Updated last year
- A fast execution trace symbolizer for Windows.☆130Updated 6 months ago
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- Alternative API for IDA / Hex-Rays☆72Updated last year
- Collects extended function properties from IDA Pro databases☆91Updated 3 years ago
- WINAFL for blackbox in-memory fuzzing (PIN)☆47Updated 5 years ago
- A Simple VM-based challenge created using the academic tigress obfuscator☆18Updated 2 years ago
- Breaking Secure Boot with SMM☆39Updated 2 years ago
- ☆37Updated 2 years ago
- A /proc/mem IDA loader to snapshot a running process☆160Updated 2 years ago
- Slides, recordings and materials of my public presentations, talks and workshops.☆74Updated last month
- ☆38Updated 4 years ago
- An IDA processor for eBPF bytecode☆45Updated 3 years ago