Fare9 / KUNAI-static-analyzer
Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
β138Updated 11 months ago
Alternatives and similar repositories for KUNAI-static-analyzer:
Users that are interested in KUNAI-static-analyzer are comparing it to the libraries listed below
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)β41Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)β114Updated 3 months ago
- Sloth π¦₯ is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and QEMU user-mode emulaβ¦β122Updated last year
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysisβ218Updated 4 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!β81Updated this week
- TTexplore is a library that performs path exploration on binary code using symbolic executionβ78Updated 2 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compilerβ82Updated 5 years ago
- BinRec: Dynamic Binary Lifting and Recompilationβ129Updated last year
- β41Updated 11 months ago
- Build your emulation environment as neededβ65Updated 3 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilationβ107Updated 4 months ago
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.β170Updated 3 years ago
- QuarkslaB Dynamic Linker libraryβ80Updated 3 months ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.β150Updated last month
- Static Binary Instrumentationβ120Updated 3 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2β45Updated 2 years ago
- Symbolic Execution Engine based on Ghidra's PCodeβ82Updated 2 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.β88Updated 3 years ago
- AFL bindings for Unicorn-Engineβ74Updated last week
- Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBAβ125Updated last year
- β111Updated last year
- A /proc/mem IDA loader to snapshot a running processβ161Updated 2 years ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressionsβ154Updated last year
- Run IDA scripts headlessly.β140Updated 3 months ago
- Collection of various llvm passesβ119Updated 9 years ago
- Slides, recordings and materials of my public presentations, talks and workshops.β75Updated this week
- An IntelliJ IDEA plugin for working on Ghidra Extensions.β98Updated 11 months ago
- MBA-Blast is a tool for simplification of MBA expressions.β61Updated 3 years ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)β163Updated 2 years ago
- PoC of fuzzing closed-source userspace binaries with KVMβ163Updated 10 months ago