本仓库包含与混合布尔算术（MBA）混淆相关的链接。欢迎提交 PR。

请注意，这里的一些资源并非严格与 MBA 相关，但都以某种方式相关。

论文

• 软件中采用混合布尔算术变换的信息隐藏
• 混合布尔算术表达式混淆：重建、分析与简化工具
• 简化混合布尔算术表达式的正交方法分析与应用
• 基于程序合成辅助的混合布尔算术表达式简化的代码反混淆
• 提升 SMT 求解器在混合位运算-算术表达式上的性能
• MBA-Blast：揭示并简化混合布尔算术混淆
• 混合布尔算术表达式的原位简化
• 使用非线性混合布尔算术表达式的软件混淆
• NeuReduce：通过循环神经网络化简混合布尔算术表达式
• 线性混合布尔算术表达式的高效反混淆
• 通过程序合成与项重写简化混合布尔算术混淆
• 通用混合布尔算术表达式的简化：GAMBA
• 半线性混合布尔算术表达式的反混淆
• 基于模 Lipschitz 整数上置换多项式的混合布尔算术（MBA）混淆
• 关于简化混合布尔算术表达式
• 二元置换多项式求逆及其在混淆技术中的应用
• 二元置换多项式求逆的二次时间算法
• 高效规范化化简与生成等价多元二元多项式
• 利用动态合成绕过恶意软件混淆
• 基于搜索的局部黑盒反混淆：理解、改进与缓解
• Syntia：综合混淆代码的语义
• Arybo：混合布尔算术符号表达式的操作、规范化与识别
• Loki：强化代码混淆以抵御自动化攻击
• QSynth——基于程序合成的二进制代码反混淆方法
• 关于多项式函数（模 m）
• 多项式函数（模 m）
• 模 2^w 置换多项式
• 用于布尔函数最小化的 Gröbner 基

实现

简化：

• SiMBA：线性混合布尔算术表达式的高效反混淆
• SiMBA++：SiMBA 的 C/C++ 移植版
• GAMBA：通用混合布尔算术表达式的简化
• Oracle 合成遇见等式饱和
• MSiMBA：半线性混合布尔算术表达式的反混淆
• Simplifier：高效的通用混合布尔算术（MBA）简化器
• MBA-Blast：MBA 表达式简化工具
• MBA-Solver：提升 SMT 求解器在混合位运算-算术表达式上的性能
• Arybo：混合布尔算术符号表达式的操作、规范化与识别
• msynth：用于简化混合布尔算术（MBA）表达式的代码反混淆框架
• QSynth：面向汇编指令反混淆的灰盒合成器
• gooMBA：用于简化混合布尔算术（MBA）表达式的 Hex-Rays 反编译器插件
• Syntia：基于程序合成的反混淆框架
• Tigress Deobfuscation——多个 Tigress 混淆遍的文档，以及简化混合布尔算术（MBA）表达式的尝试
• M3：使用动态分析高效反混淆混合布尔算术（MBA）表达式

布尔操作与最小化：

• 用于布尔函数最小化的 Gröbner 基
• Espresso 启发式逻辑最小化器
• Kitty：C++ 布尔真值表库
• 结合 DNF 最小化、ANF 最小化以及最多 4 变量的预计算真值表
• DenseQMC：Quine-McCluskey 算法的位切片实现
• boolean_expression：用于布尔表达式和 BDD 的小型 Rust crate

构造：

• MBA-Obfuscator：用于生成非线性混合布尔算术表达式的工具
• Mba：混合布尔算术
• Pocket：混合布尔算术表达式混淆器
• MBA-Generator：混合布尔算术表达式生成器。
• Mutaben：用 Python 编写的简单混合布尔算术（MBA）生成器
• Mixed-boolean-transform：混合布尔算术 x+y 变换

博客文章

• 混合布尔算术
• 使用等式饱和改进 MBA 反混淆
• 简化 MBA 表达式需要哪些理论工具？
• Pocket 简介：混合布尔算术表达式混淆器
• 使用 msynth 进行实用的 MBA 反混淆

杂项（仅与 MBA 间接相关）

• ægraphs：生产编译器中用于高效优化的无环 E-graph
• Optir：基于等式饱和的任意控制流编译器优化器
• Z3 探索与快速布尔匹配
• 基于 NPN 分类的快速布尔匹配
• 基于 SAT 的逻辑最小化算法
• Cranelift 的指令选择 DSL ISLE：让项重写变得实用