GAMBA

GAMBA GAMBA 是一款用于简化混合布尔算术表达式 MBA 的工具。GAMBA 是 General Advanced Mixed Boolean Arithmetic simplifier（通用高级混合布尔算术简化器）的缩写。它利用线性代数简化器 SiMBA 来迭代简化潜在非线性输入 MBA 中的线性子表达式。总体而言，其核心组成部分如下： 使用抽象语法树 AST 通过应用（简单及更复杂的）变换来分离线性子表达式 重构以增加构建可简化线性子表达式的机会 使用 SiMBA 简化线性子表达式 替换逻辑，以暂时消除按位运算中的非常量常数和算术运算 GAMBA 基于以下...