MATE

メイト

MATEは、CおよびC ++コードでのバグの狩猟に焦点を当てたインタラクティブプログラム分析のための一連のツールです。 MATEは、コードプロパティグラフ（CPG）を使用してアプリケーション固有および低レベルの脆弱性分析を統合し、実装の詳細とターゲットC/C ++プログラムの高レベルセマンティクスの両方に依存する高度にアプリケーション固有の脆弱性の発見を可能にします。

詳細については、オンラインドキュメントを参照してください。

謝辞

この資料は、契約番号FA8750-19-C-0004に基づいて、米国空軍および防衛先進研究プロジェクト機関（DARPA）がサポートする作業に基づいています。この資料で表明された意見、調査結果、結論、または勧告は著者のものであり、必ずしも米国空軍またはDARPAの見解を反映しているわけではありません。パブリックリリース、Distribution Unlimitedが承認されました。