工具

MBASED

MBASED 是一个 Binary Ninja 插件，用来化简混合布尔算术表达式。它把一条 MLIL 指令解析成树，用 SymPy 和 Z3 化简，然后把结果打印到 Binary Ninja 的日志。

目标: 二进制
类别: 原生分析工具
关联: 基础工具
来源复核于: 2026-11-07

星标: 44
最近提交: 2026-09-13
主要语言: Python
许可（GitHub 识别）: MIT

GitHub 数据，截至 2026-11-09

复制为 Markdown 查看 JSON 引用

使用条件与局限

需要 Binary Ninja、Z3 和 SymPy。把仓库克隆到 Binary Ninja 的插件目录，然后使用插件菜单里的 MBASED: Simplify all MBA expressions。
README 没有写许可证。

引用

BibTeX

@misc{mbased,
  title = {{MBASED}},
  howpublished = {\url{https://github.com/bliutech/mbased}},
  url = {https://github.com/bliutech/mbased},
  urldate = {2026-11-07},
  note = {Awesome REA entry: \url{https://awesomerea.org/zh/resources/mbased/}}
}