# 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.

- Type: Tool
- Targets: Binary
- Category: Native analysis tools
- Relationship: Foundation tool
- Sources reviewed: 2026-11-07
- Added to the catalog: 2026-11-09
- Original resource: <https://github.com/bliutech/mbased>
- Primary source: <https://github.com/bliutech/mbased/blob/fb8315f2b23e73b127ec7ccc78c58bf34b6e923c/README.md>
- Catalog page: <https://awesomerea.org/resources/mbased/>
- Record JSON: <https://awesomerea.org/resources/mbased/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/resources/mbased/index.md)

## 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.

## Primary sources

1. <https://github.com/bliutech/mbased/blob/fb8315f2b23e73b127ec7ccc78c58bf34b6e923c/README.md>

## More in Native binaries

- [r2garlic](https://awesomerea.org/resources/r2garlic/index.md) · Tool
- [Pocket Disasm](https://awesomerea.org/resources/pocket-disasm/index.md) · Tool
- [Ghidra Hexagon SLEIGH](https://awesomerea.org/resources/ghidra-hexagon-sleigh/index.md) · Tool
- [sega2asm](https://awesomerea.org/resources/sega2asm/index.md) · Tool
- [CryptoKnight](https://awesomerea.org/resources/cryptoknight/index.md) · Tool
- [cLuaDecompiler](https://awesomerea.org/resources/cluadecompiler/index.md) · Tool

## About this entry

The description was reviewed against primary sources.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.