---
id: 1720
title: "How I gave ManticoreUI a makeover"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2022/12/15/manitcoreui-symbolic-execution-gui/"
published_at: "2022-12-15T13:00:23Z"
tags: ["vulnerability", "tooling", "program-analysis", "symbolic-execution"]
phying_url: "https://phying.com/item/1720"
lang: en
---

# How I gave ManticoreUI a makeover

## Summary

Trail of Bits intern Calvin Fong revamps ManticoreUI, the Binary Ninja GUI for the Manticore symbolic execution engine — function models, global hooks, emulation helpers and GDB state bootstrapping — and uses it to find a vulnerability in the widely deployed DICOM Toolkit.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2022-12-15T13:00:23Z
- **Original:** https://blog.trailofbits.com/2022/12/15/manitcoreui-symbolic-execution-gui/
- **Phying News:** https://phying.com/item/1720