Fare9 / KUNAI-static-analyzerLinks
Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
☆143Updated last year
Alternatives and similar repositories for KUNAI-static-analyzer
Users that are interested in KUNAI-static-analyzer are comparing it to the libraries listed below
Sorting:
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆80Updated 2 years ago
- QuarkslaB Dynamic Linker library☆86Updated 8 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆127Updated last week
- Repository of code I've written during my twitch stream, "F'ing Around with Binary Ninja"☆107Updated 4 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 3 years ago
- A /proc/mem IDA loader to snapshot a running process☆164Updated last month
- ☆49Updated last year
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- Xyntia, the black-box deobfuscator☆74Updated 2 months ago
- Static Binary Instrumentation☆121Updated 3 years ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆164Updated 2 years ago
- Sloth 🦥 is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and QEMU user-mode emula…☆124Updated last year
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆41Updated 5 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆226Updated 5 years ago
- A gdb like debugger that provide a runtime env to unicorn emulator and additionals features!☆192Updated 2 years ago
- Slides, recordings and materials of my public presentations, talks and workshops.☆78Updated 2 months ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆158Updated 6 months ago
- nanoMIPS IDA plugin☆67Updated 3 years ago
- ☆58Updated 4 years ago
- AFL bindings for Unicorn-Engine☆84Updated 3 weeks ago
- An IntelliJ IDEA plugin for working on Ghidra Extensions.☆98Updated last year
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆114Updated this week
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 9 months ago
- MBA-Blast is a tool for simplification of MBA expressions.☆64Updated 4 years ago
- Everything you need to build and run Linux and Android kernels for exploit development☆94Updated last year
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆84Updated 6 years ago
- ☆57Updated this week
- ☆198Updated 3 years ago
- An IDA processor for eBPF bytecode☆48Updated 3 years ago
- Symbolic Simplification with PAttern Matching☆106Updated 8 years ago