Tool

MBASED

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.

Targets: Binary
Category: Native analysis tools
Relationship: Foundation tool
Sources reviewed: 2026-11-07

Stars: 44
Last commit: 2026-09-13
Language: Python
License (GitHub): MIT

GitHub data as of 2026-11-09

Copy as Markdown View JSON Cite

Requirements & limits

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.

Cite

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/resources/mbased/}}
}

Plain text

MBASED. https://github.com/bliutech/mbased (accessed 2026-11-07). Awesome REA entry: https://awesomerea.org/resources/mbased/

Useful? Star Awesome REA on GitHub2.4k

About this entry

The description was reviewed against primary sources.

Report an outdated entry Suggest a translation fix

Primary sources

README.md GitHub · bliutech/mbased · Revision fb8315f