fvrmatteo/oracle-synthesis-meets-equality-saturation

# 利用 Equality Saturation 改进 MBA 混淆还原 这是博客文章 [利用 Equality Saturation 改进 MBA 混淆还原](https://secret.club/2022/08/08/eqsat-oracle-synthesis.html) 的 Python PoC。 1. 这是一个整体运行较慢的脚本，仅用于实验文档中提出的想法，应被视为不稳定版本； 2. 它将在未来几个月内用更快的语言重写； 两个示例 Oracle（符号型和常量型）暂时可通过 MEGA/Drive 获取，后续将上传至专用服务器： - MEGA: https://mega.nz/folder/AoMXGIwI#Qg-wosilnwRy8oroBSAPtA - Drive: https://drive.google.com/drive/folders/1xmShdocQvmCkewRwPmSagwa6ll2wm80S

标签：DNS 反向解析, MBA表达式, Oracle综合, Python, 二进制分析, 云安全运维, 云资产清单, 代码混淆, 反混淆, 可配置连接, 图重写, 恶意代码分析, 无后门, 程序分析, 符号执行, 等式饱和, 编译器优化, 逆向工具, 逆向工程, 配置文件