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:
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆80Updated 2 years ago
- QuarkslaB Dynamic Linker library☆86Updated 7 months ago
- Repository of code I've written during my twitch stream, "F'ing Around with Binary Ninja"☆107Updated 4 years ago
- ☆49Updated last year
- A /proc/mem IDA loader to snapshot a running process☆164Updated last month
- Triton-based DSE library with loading and exploration capabilities (and more!)☆126Updated last week
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆225Updated 5 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 2 years ago
- An IDA processor for eBPF bytecode☆48Updated 3 years ago
- Build your emulation environment as needed☆66Updated 4 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
- Xyntia, the black-box deobfuscator☆73Updated last month
- ☆196Updated 3 years ago
- Static Binary Instrumentation☆121Updated 3 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆64Updated 4 years ago
- An IDA plugin that allows you to use /proc/kallsyms output to import function and data labels into an extracted Android kernel image.☆70Updated 5 years ago
- AFL bindings for Unicorn-Engine