工具
gooMBA
gooMBA 是 Hex-Rays 反编译器插件，用来化简混合布尔算术表达式。它处理线性表达式和符号扩展，用 z3 检查化简结果，并用指纹预言机处理非线性表达式。动作名是 goomba:run。选项在 goomba.cfg，包括 MBA_ORACLE_PATH 和 z3 超时。发布构建针对 IDA Pro 和 IDA Teams 8.2。从 IDA 8.3 起，这个插件随这些产品一起提供。
- 目标
- 二进制
- 类别
- 原生分析工具
- 关联
- 基础工具
- 来源复核于
- 星标
- 696
- 最近提交
- 2025-11-10
- 主要语言
- C++
GitHub 数据，截至 2026-11-09
使用条件与局限
- 发布构建需要 IDA Pro 或 IDA Teams 8.2。更高版本自带这个插件。
- README 没有写许可证。
引用
BibTeX
@misc{goomba,
title = {{gooMBA}},
howpublished = {\url{https://github.com/HexRaysSA/goomba}},
url = {https://github.com/HexRaysSA/goomba},
urldate = {2026-11-07},
note = {Awesome REA entry: \url{https://awesomerea.org/zh/resources/goomba/}}
}纯文本
gooMBA。https://github.com/HexRaysSA/goomba（访问于 2026-11-07）。Awesome REA 条目：https://awesomerea.org/zh/resources/goomba/
有帮助？在 GitHub 上为 Awesome REA 加星2.4k
关于此条目
说明已依据一手来源复核。
一手来源
- README.md GitHub · HexRaysSA/goomba · 修订 8302f5b