MATE

伴侶

MATE是用於交互式程序分析的工具套件，重點是狩獵C和C ++代碼中的錯誤。 MATE使用代碼屬性圖（CPG）統一了特定於應用程序的和低級漏洞分析，從而發現了依賴於實現詳細信息和目標C/C/C ++程序的高級語義的高度應用特定漏洞。

有關更多信息，請參見在線文檔。

致謝

該材料基於美國空軍和國防高級研究項目局（DARPA）根據FA8750-19-C-0004的合同支持的工作。本材料中表達的任何意見，發現和結論或建議都是作者的意見，不一定反映美國空軍或DARPA的觀點。批准公開發布，分銷無限。