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

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

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

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