---
id: 1722
title: "Manticore GUIs made easy"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2022/12/13/manticore-gui-plugin-binary-ninja-ghidra/"
published_at: "2022-12-13T13:00:04Z"
tags: ["web3", "ghidra", "research", "tooling", "symbolic-execution"]
phying_url: "https://phying.com/item/1722"
lang: en
---

# Manticore GUIs made easy

## Summary

An NUS intern builds a Ghidra MUI plugin for the Manticore symbolic execution engine — free and open source, unlike Binary Ninja — plus gRPC-based infrastructure that makes MUI plugins easier to use, maintain and develop across disassemblers.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2022-12-13T13:00:04Z
- **Original:** https://blog.trailofbits.com/2022/12/13/manticore-gui-plugin-binary-ninja-ghidra/
- **Phying News:** https://phying.com/item/1722