mrphrazer / msynthLinks
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
☆322Updated 4 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☆334Updated 2 weeks ago
- Control-flow-flattening and string deobfuscator☆155Updated 3 years ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆166Updated last year
- abyss - augmentation of Hexrays decompiler output☆348Updated 2 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆319Updated last year
- Binary Ninja plugin to identify obfuscated code and other interesting code constructs☆632Updated 5 months ago
- Workshop Material on VM-based Deobfuscation☆193Updated 3 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆158Updated 6 months ago
- ☆203Updated last year
- Hardening code obfuscation against automated attacks☆142Updated last year
- gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions☆630Updated last week
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆195Updated 4 years ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆659Updated last week
- HexRays ctree visualization plugin☆421Updated last year
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆387Updated 9 months ago
- Time Travel Debugging IDA plugin☆591Updated last year
- A research decompiler implemented as a Binary Ninja plugin.☆198Updated last week
- IDA Pro plugin to manage classes☆345Updated last year
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆200Updated last week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆127Updated this week
- Programming productivity plugin for IDAPython and C++ development☆362Updated 3 months ago
- Native Pcode emulator☆292Updated last year
- LLVM based static binary analysis framework☆257Updated 5 months ago
- An Interactive Hex-Rays Microcode Explorer☆605Updated last year
- Core emulator components for Icicle☆238Updated last week
- ☆198Updated 3 years ago
- Ghidra Extension to integrate BinDiff for function matching☆273Updated 3 months ago
- Assets for the "Tickling VMProtect with LLVM" blog post.☆156Updated 3 years ago
- Binary Ninja debugger☆264Updated this week
- A plugin based on IDAPython for a functional DWIM interface. Current development against most recent IDA is in the "persistence-refactor"…☆327Updated last week