我如何给 ManticoreUI 做了一次改头换面

摘要

Trail of Bits 实习生 Calvin Fong 改造 Manticore 符号执行引擎的 Binary Ninja 图形界面 ManticoreUI：新增函数模型、全局钩子、模拟辅助与 GDB 状态引导，并用它在医疗影像广泛部署的 DICOM Toolkit 中发现漏洞。