Fare9 / KUNAI-static-analyzerLinks
Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
☆140Updated 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:
- QuarkslaB Dynamic Linker library☆83Updated 6 months ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆41Updated 3 weeks ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆166Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆122Updated last month
- Static Binary Instrumentation☆121Updated 3 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆76Updated 2 years ago
- Slides, recordings and materials of my public presentations, talks and workshops.☆78Updated 2 weeks ago
- A Generalized Dynamic Opaque Predicate Obfuscator☆45Updated 8 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆83Updated 5 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆112Updated 7 months ago
- Sloth 🦥 is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and QEMU user-mode emula…☆123Updated last year
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆107Updated 3 weeks ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 2 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆63Updated 3 years ago
- A /proc/mem IDA loader to snapshot a running process☆163Updated 3 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆139Updated last year
- ☆58Updated 4 years ago
- Control-flow-flattening and string deobfuscator☆154Updated 3 years ago
- Symbolic Simplification with PAttern Matching☆105Updated 8 years ago
- A IDA plugin to show ARM MSRs nicely☆83Updated 2 years ago
- ☆195Updated 3 years ago
- Quokka: A Fast and Accurate Binary Exporter☆197Updated 3 weeks ago
- A PCode Emulator for Ghidra.☆109Updated 4 years ago
- ☆45Updated last year
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆191Updated 3 years ago
- Repository of code I've written during my twitch stream, "F'ing Around with Binary Ninja"☆107Updated 4 years ago
- nanoMIPS IDA plugin☆67Updated 3 years ago
- Practical P-Code examples☆58Updated 4 years ago