MATE

伴侣

MATE是用于交互式程序分析的工具套件，重点是狩猎C和C ++代码中的错误。 MATE使用代码属性图（CPG）统一了特定于应用程序的和低级漏洞分析，从而发现了依赖于实现详细信息和目标C/C/C ++程序的高级语义的高度应用特定漏洞。

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

致谢

该材料基于美国空军和国防高级研究项目局（DARPA）根据FA8750-19-C-0004的合同支持的工作。本材料中表达的任何意见，发现和结论或建议都是作者的意见，不一定反映美国空军或DARPA的观点。批准公开发布，分销无限。