maat

关于 Maat 是一个开源的动态符号执行与二进制分析框架。它提供了多种功能，如符号执行、污点分析、约束求解、二进制加载、环境模拟，并利用 Ghidra 的 sleigh 库进行汇编提升：https://maat.re 主要特性： 快速且可移植 ：专为扩展到实际应用程序而设计。完全使用 C++ 编写，具有良好的运行时性能。几乎没有运行时依赖，且大多数依赖是可选安装的。 用户友好 ：Maat 拥有灵活的调试器类 API，其功能可配置以适应多种不同的用例。作为一款现代框架，它自带 Python 绑定 。 多架构 ：基于 Ghidra 强大的 sleigh 库进行提升和模拟，Maat...

CVE-2024-58350 Ghidra < 11.2 - Use After Free in Sleigh Backend via Static Initialization Order

Ghidra before 11.2 contains a use after free vulnerability in the Sleigh backend caused by undefined static initialization order of the SleighArchitecture::translators and XmlArchitectureCapability singletons. Attackers can trigger an infinite loop or denial of service during shutdown by exploiti...

PT-2026-48402

Ghidra before 11.2 contains a use after free vulnerability in the Sleigh backend caused by undefined static initialization order of the SleighArchitecture::translators and XmlArchitectureCapability singletons. Attackers can trigger an infinite loop or denial of service during shutdown by exploiti...