{
  "added_at": "2026-11-09",
  "category": "native-analysis",
  "description_en": "MBASED is a Binary Ninja plugin that simplifies mixed Boolean-arithmetic expressions. It parses an MLIL instruction into a tree and simplifies it with SymPy and Z3, then prints the result in the Binary Ninja log.",
  "description_zh": "MBASED 是一个 Binary Ninja 插件，用来化简混合布尔算术表达式。它把一条 MLIL 指令解析成树，用 SymPy 和 Z3 化简，然后把结果打印到 Binary Ninja 的日志。",
  "entry_url": "https://awesomerea.org/resources/mbased/",
  "entry_url_zh": "https://awesomerea.org/zh/resources/mbased/",
  "evidence_url": "https://github.com/bliutech/mbased/blob/fb8315f2b23e73b127ec7ccc78c58bf34b6e923c/README.md",
  "group": "tools",
  "id": "mbased",
  "json_url": "https://awesomerea.org/resources/mbased/record.json",
  "kind": "tool",
  "markdown_url": "https://awesomerea.org/resources/mbased/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/resources/mbased/index.md",
  "name": "MBASED",
  "name_zh": "MBASED",
  "record_type": "resource",
  "relationship": "foundation",
  "requirements": [
    "Binary Ninja, Z3, and SymPy. Clone the repository into the Binary Ninja plugins directory, then use Plugins, MBASED: Simplify all MBA expressions.",
    "The README does not name a license."
  ],
  "requirements_zh": [
    "需要 Binary Ninja、Z3 和 SymPy。把仓库克隆到 Binary Ninja 的插件目录，然后使用插件菜单里的 MBASED: Simplify all MBA expressions。",
    "README 没有写许可证。"
  ],
  "targets": [
    "binary"
  ],
  "url": "https://github.com/bliutech/mbased",
  "verification": "source-reviewed",
  "verified_at": "2026-11-07"
}