Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
☆181Oct 12, 2023Updated 2 years ago
Alternatives and similar repositories for SiMBA
Users that are interested in SiMBA are comparing it to the libraries listed below
Sorting:
- Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA☆208Nov 21, 2023Updated 2 years ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 3 months ago
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆345Feb 2, 2026Updated last month
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆80Jan 24, 2026Updated last month
- gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions☆670Nov 10, 2025Updated 3 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆23Dec 3, 2021Updated 4 years ago
- LLVM based static binary analysis framework☆302Apr 2, 2025Updated 11 months ago
- ☆13Sep 25, 2023Updated 2 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆167Feb 16, 2025Updated last year
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 4 months ago
- Assets for the "Tickling VMProtect with LLVM" blog post.☆168Sep 16, 2021Updated 4 years ago
- Non-linear Mixed Boolean-Arithmetic Expressions☆72Apr 18, 2024Updated last year
- ☆423Jan 1, 2025Updated last year
- Header only wrapper around Hex-Rays API in C++20.☆168Dec 25, 2024Updated last year
- ☆64Feb 23, 2025Updated last year
- unorthodox approach to analyze a trace, but this helped me get comfy with x64 instructions overall (excluding sse/avx/etc lol), cleared u…☆68Feb 7, 2024Updated 2 years ago
- Hex-Rays microcode plugin for automated simplification of Windows Kernel decompilation.☆657Jan 28, 2025Updated last year
- Deobfuscation via optimization with usage of LLVM IR and parsing assembly.☆766Sep 29, 2025Updated 5 months ago
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆203Jul 23, 2021Updated 4 years ago
- ☆25May 27, 2025Updated 9 months ago
- An IDA plugin that eases reversing of binaries that have been code-size-optimized with function outlining☆224Dec 31, 2024Updated last year
- Titan is a VMProtect devirtualizer☆118Mar 6, 2024Updated last year
- ☆76Sep 30, 2021Updated 4 years ago
- Lift machine code to performant LLVM IR☆490Jun 17, 2024Updated last year
- Control-flow-flattening and string deobfuscator☆160Nov 8, 2021Updated 4 years ago
- Binary Ninja plugin to identify obfuscated code and other interesting code constructs☆650Mar 14, 2025Updated 11 months ago
- ☆72Jul 8, 2021Updated 4 years ago
- Binary Ninja plugin for automating VMProtect analysis☆63Dec 2, 2022Updated 3 years ago
- ☆37May 9, 2023Updated 2 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆149Sep 18, 2023Updated 2 years ago
- Native code virtualizer for x64 binaries☆517Dec 20, 2024Updated last year
- A repository of IDA Databases and Binaries used for the analysis of popular commercial virtual-machine obfuscators☆72Oct 7, 2022Updated 3 years ago
- A VMP to VTIL lifter.☆445May 20, 2021Updated 4 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆70Aug 6, 2021Updated 4 years ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆91Jul 28, 2024Updated last year
- Self-hosting binary instrumentation framework for security research☆12Apr 10, 2023Updated 2 years ago
- IDA strike-out: A Hex-Rays decompiler plugin to patch the Ctree☆126Nov 27, 2025Updated 3 months ago
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆400Dec 4, 2024Updated last year