nhpcc502/MBA-Obfuscator
GitHub: nhpcc502/MBA-Obfuscator
一个用于生成非线性混合布尔算术（MBA）混淆表达式的 Python 工具，服务于代码保护和反逆向工程研究。
Stars: 73 | Forks: 18
# 用于 ICICS'21 的 MBA 示例与 MBA-Obfuscator 代码
MBA-Obfuscator 是一个用于生成非线性混合布尔算术表达式的工具。
## 前置条件：
### Python 3.6
1. Z3 solver: `pip3 install z3-solver`
2. sympy: `pip3 install sympy`
3. numpy: `pip3 install numpy`
## 结构
MBA-Obfuscator 的代码位于 "mba_obfuscator" 文件夹中，
MBA-Obfuscator 的输出样本位于 "samples" 文件夹中。
### samples
存储非线性 MBA 表达式的文件。
1. 多项式 MBA 表达式位于 ground.linear.poly.txt
2. 非多项式 MBA 表达式位于 ground.linear.nonpoly.txt
### mba-obfuscator
MBA 表达式生成的代码位于 "mba_obfuscator" 文件夹中。
## 许可证
本项目基于 MIT 许可证发布（参见 LICENSE）
## 联系方式
如有任何问题，请随时在 Github 上开启 issue 或创建 pull request。
标签：DNS 反向解析, MBA表达式, Python, Z3求解器, 云资产清单, 代码保护, 代码混淆, 可配置连接, 多项式, 布尔算术混合, 恶意代码分析, 无后门, 混淆器, 程序分析, 符号执行, 逆向工具, 逆向工程, 配置文件, 非多项式