How I gave ManticoreUI a makeover

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.