DenuvoSoftwareSolutions / GAMBA
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
☆120Updated last year
Related projects ⓘ
Alternatives and complementary repositories for GAMBA
- Port of MBA Solver SiMBA to C/C++☆76Updated 2 weeks ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆144Updated last year
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆58Updated 3 weeks ago
- Assets for the "Tickling VMProtect with LLVM" blog post.☆143Updated 3 years ago
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆166Updated 3 years ago
- IDA Pro plugin that displays all comments in a database☆63Updated 3 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆76Updated this week
- PoC for a taint based attack on VMProtect☆109Updated 5 years ago
- IDA Plugin that fills in missing indirect CALL & JMP target information☆115Updated last year
- Hex-Rays OLLVM Deobfuscator and MicroCode Explorer☆137Updated 4 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 8 months ago
- VM devirtualization PoC based on AsmJit and llvm☆104Updated 3 years ago
- IDAPatternSearch adds a capability of finding functions according to bit-patterns into the well-known IDA Pro disassembler based on Ghidr…☆62Updated 3 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆141Updated last year
- Small programs and scripts that do not require their own repositories☆128Updated 2 years ago
- IDA strike-out: A Hex-Rays decompiler plugin to patch the Ctree☆99Updated 3 months ago
- Toy LLVM obfuscator pass☆70Updated 3 years ago
- A port of Rolf Rolles' https://github.com/RolfRolles/HexRaysDeob to Python☆164Updated 2 years ago
- D-810 is an IDA Pro plugin which can be used to deobfuscate code at decompilation time by modifying IDA Pro microcode.☆42Updated 3 years ago
- Simple CMake files for the IDASDK☆78Updated 3 weeks ago
- Find crypto constants IDA 7.x plugin☆117Updated last year
- Non-linear Mixed Boolean-Arithmetic Expressions☆57Updated 7 months ago
- ☆109Updated 3 months ago
- Control-flow-flattening and string deobfuscator☆147Updated 3 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆54Updated 2 years ago
- Tool that automates some useful structure routines in IDA PRO☆74Updated 8 months ago
- ☆90Updated 4 years ago
- Lifting from native architecture to VTIL. (WIP)☆73Updated 2 years ago