MATE

MATE 是一套用于交互式程序分析的工具集，专注于在 C 和 C++ 代码中寻找漏洞。MATE 通过代码属性图（CPGs）统一了应用特定漏洞分析和底层漏洞分析，从而能够发现高度依赖于目标 C/C++ 程序实现细节和高级语义的应用特定漏洞。

更多信息请参见 在线文档。

致谢

本材料基于美国空军和国防高级研究计划局（DARPA）根据合同号 FA8750-19-C-0004 支持的工作。本文中表达的任何观点、发现、结论或建议均为作者个人观点，并不一定反映美国空军或 DARPA 的立场。已批准公开发布，分发无限制。