mrphrazer / msynth
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
☆301Updated 4 months ago
Alternatives and similar repositories for msynth:
Users that are interested in msynth are comparing it to the libraries listed below
- Control-flow-flattening and string deobfuscator☆148Updated 3 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆150Updated last month
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆154Updated last year
- HexRays ctree visualization plugin☆404Updated 7 months ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆308Updated last year
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆179Updated 3 years ago
- symbolic execution plugin for binary ninja☆314Updated last year
- An Interactive Hex-Rays Microcode Explorer☆574Updated last year
- abyss - augmentation of Hexrays decompiler output☆340Updated 2 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆190Updated this week
- Hardening code obfuscation against automated attacks☆131Updated last year
- Binary Ninja plugin to identify obfuscated code and other interesting code constructs☆620Updated last month
- Binary code coverage visualizer plugin for Ghidra☆289Updated 9 months ago
- gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions☆611Updated last year
- Use angr in Ghidra☆577Updated 8 months ago
- A collection of LLVM transform and analysis passes to write shellcode in regular C☆372Updated last year
- Workshop Material on VM-based Deobfuscation☆184Updated 3 years ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆356Updated 4 months ago
- Programming productivity plugin for IDAPython and C++ development☆342Updated 2 weeks ago
- ☆194Updated 3 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆115Updated 3 months ago
- Time Travel Debugging IDA plugin☆579Updated 9 months ago
- Ghidra Extension to integrate BinDiff for function matching☆264Updated last month
- ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).☆424Updated 11 months ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- IDA Pro plugin to manage classes☆318Updated 7 months ago
- ☆199Updated last year
- Display Hex-Rays Microcode☆238Updated 2 years ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆164Updated 2 years ago
- Yet Another Ghidra Integration for IDA☆499Updated 7 months ago