pgarba / SiMBA-
Port of MBA Solver SiMBA to C/C++
☆80Updated last month
Alternatives and similar repositories for SiMBA-:
Users that are interested in SiMBA- are comparing it to the libraries listed below
- Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA☆126Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆88Updated 3 weeks ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆50Updated last year
- IDA Plugin that fills in missing indirect CALL & JMP target information☆124Updated 3 months ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆64Updated 3 weeks ago
- Tool that automates some useful structure routines in IDA PRO☆78Updated last year
- VM devirtualization PoC based on AsmJit and llvm☆113Updated 3 years ago
- IDAPatternSearch adds a capability of finding functions according to bit-patterns into the well-known IDA Pro disassembler based on Ghidr…☆63Updated 3 years ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆156Updated last year
- Assets for the "Tickling VMProtect with LLVM" blog post.☆150Updated 3 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.