mrphrazer / msynthLinks
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
☆335Updated 6 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☆341Updated 3 weeks ago
- Control-flow-flattening and string deobfuscator☆156Updated 4 years ago
- abyss - augmentation of Hexrays decompiler output☆346Updated 3 years ago
- Workshop Material on VM-based Deobfuscation☆195Updated 4 years ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆171Updated 2 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆320Updated last year
- ☆209Updated 2 years ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆666Updated this week
- Binary Ninja plugin to identify obfuscated code and other interesting code constructs☆640Updated 7 months ago
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆194Updated 4 years ago
- Hardening code obfuscation against automated attacks☆145Updated last year
- gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions☆651Updated last month
- HexRays ctree visualization plugin☆421Updated last year
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆161Updated 8 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆132Updated 2 months ago
- A research decompiler implemented as a Binary Ninja plugin.☆210Updated last week
- IDA Pro plugin to manage classes☆351Updated last year
- Binary Ninja debugger☆274Updated last week
- Core emulator components for Icicle☆254Updated 3 weeks ago
- Time Travel Debugging IDA plugin☆592Updated last year
- Xyntia, the black-box deobfuscator☆83Updated 2 weeks ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆396Updated 11 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆204Updated last week
- Ghidra analysis plugin to locate cryptographic constants☆273Updated 2 years ago
- An Interactive Hex-Rays Microcode Explorer☆625Updated last year
- An AVX Lifter for the Hex-Rays Decompiler☆323Updated 2 years ago
- Programming productivity plugin for IDAPython and C++ development☆372Updated last month
- LLVM based static binary analysis framework☆264Updated 7 months ago
- Assets for the "Tickling VMProtect with LLVM" blog post.☆156Updated 4 years ago
- A plugin based on IDAPython for a functional DWIM interface. Current development against most recent IDA is in the "persistence-refactor"…☆328Updated 2 months ago