mixed-boolean-arithmetic

D810-ng (Next Generation) is an updated, tested, refactored, and optimized IDA Pro plugin used to deobfuscate code at decompilation time by modifying IDA Pro microcode.

An x86-64 code virtualizer for VM based obfuscation

Efficient general mixed boolean-arithmetic (MBA) simplifier

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions

Python 3.9 obfuscator built on LibCST with a library of fun obfuscation techniques, including polynomial MBAs, runtime bytecode patching, etc.

MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary Ninja decompiler plugin taking ideas from compiler construction to simplify obfuscated boolean expressions.

Binary Ninja plugin automating binary deobfuscation through extensible recipes for common obfuscation patterns

LLVM 21 pass plugin for A²MBA architectural and anti-generalization hardening of mixed Boolean-arithmetic expressions.

OLLVM-Next (Ensia): The next generation LLVM based Obfuscator

PowerShell encryption using AES CBC - 256 bit encryption key.

A simple tokenizer, parser and AST generator for s-expressions(ish) and CIL (.NET) Arithmetic OpCodes.

Encodes with B64, reverts them & builds the decoding part.

High-performance Mixed Boolean-Arithmetic (MBA) expression synthesis tool