mrphrazer / msynthLinks
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
☆316Updated 2 months ago
Alternatives and similar repositories for msynth
Users that are interested in msynth are comparing it to the libraries listed below
Sorting:
- symbolic execution plugin for binary ninja☆326Updated 2 months ago
- Control-flow-flattening and string deobfuscator☆154Updated 3 years ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆161Updated last year
- abyss - augmentation of Hexrays decompiler output☆344Updated 2 years ago
- Binary Ninja plugin to identify obfuscated code and other interesting code constructs☆629Updated 3 months ago
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆192Updated 3 years ago
- IDA Pro plugin to manage classes☆340Updated 10 months ago
- Hardening code obfuscation against automated attacks☆136Updated last year
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆367Updated 7 months ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆313Updated last year
- A research decompiler implemented as a Binary Ninja plugin.☆195Updated last week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆195Updated this week
- A reversing plugin for cross-decompiler collaboration, built on git.☆648Updated last week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆125Updated 2 weeks ago
- HexRays ctree visualization plugin☆412Updated 10 months ago
- ☆199Updated last year
- Workshop Material on VM-based Deobfuscation☆192Updated 3 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆156Updated 4 months ago
- gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions☆623Updated 2 years ago
- LLVM based static binary analysis framework☆253Updated 3 months ago
- Time Travel Debugging IDA plugin☆589Updated last year
- Assets for the "Tickling VMProtect with LLVM" blog post.☆158Updated 3 years ago
- Native Pcode emulator☆288Updated 11 months ago
- Binary Ninja debugger☆260Updated this week
- Core emulator components for Icicle☆233Updated 2 weeks ago
- Devirtualize Virtual Calls☆115Updated 3 years ago
- An Interactive Hex-Rays Microcode Explorer☆596Updated last year
- Programming productivity plugin for IDAPython and C++ development☆357Updated last month
- Hexrays Toolbox - Find code patterns within the Hexrays ctree☆464Updated 2 years ago
- Write dynamic binary analysis tools in Python☆117Updated last month