Fare9 / KUNAI-static-analyzerLinks
Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
☆144Updated 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☆81Updated 3 years ago
- QuarkslaB Dynamic Linker library☆90Updated last year
- Slides, recordings and materials of my public presentations, talks and workshops.☆81Updated last month
- Xyntia, the black-box deobfuscator☆84Updated last month
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- A /proc/mem IDA loader to snapshot a running process☆167Updated 6 months ago
- Repository of code I've written during my twitch stream, "F'ing Around with Binary Ninja"☆108Updated 4 years ago
- Static Binary Instrumentation☆122Updated 4 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆164Updated 3 years ago
- ☆51Updated last year
- nanoMIPS IDA plugin☆69Updated 4 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆230Updated 5 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…☆129Updated 2 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆47Updated 3 years ago
- Quokka: A Fast and Accurate Binary Exporter☆207Updated this week
- ☆76Updated 4 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆117Updated last year
- Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022☆100Updated 3 years ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆45Updated 3 months ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆164Updated 10 months ago
- Practical P-Code examples☆65Updated 4 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Updated 4 years ago
- ☆201Updated 3 years ago
- Control-flow-flattening and string deobfuscator☆157Updated 4 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆84Updated 6 years ago
- AFL bindings for Unicorn-Engine☆87Updated 3 months ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆42Updated 3 weeks ago
- A gdb like debugger that provide a runtime env to unicorn emulator and additionals features!☆192Updated 2 years ago