---
id: 1801
title: "MUI: Visualizing symbolic execution with Manticore and Binary Ninja"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2021/11/17/mui-visualizing-symbolic-execution-with-manticore-and-binary-ninja/"
published_at: "2021-11-17T12:00:55Z"
tags: ["reverse-engineering", "binary-analysis", "binary-ninja", "symbolic-execution", "manticore", "visualization"]
phying_url: "https://phying.com/item/1801"
lang: en
---

# MUI: Visualizing symbolic execution with Manticore and Binary Ninja

## Summary

MUI pairs the Manticore symbolic execution engine with Binary Ninja's interface, making state exploration visual and interactive, with custom hooks to tame state explosion during analysis.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2021-11-17T12:00:55Z
- **Original:** https://blog.trailofbits.com/2021/11/17/mui-visualizing-symbolic-execution-with-manticore-and-binary-ninja/
- **Phying News:** https://phying.com/item/1801