MATEは、CおよびC++コードのバグの検出に焦点を当てたインタラクティブなプログラム解析ツール群です。 MATEは、コードプロパティグラフ（CPG）を用いてアプリケーション固有の脆弱性解析と低レベルの脆弱性解析を統合し、 実装の詳細とターゲットとなるC/C++プログラムの高レベルセマンティクスの両方に依存する、 高度にアプリケーション固有の脆弱性の発見を可能にします。これらは 実装の詳細とターゲットとなるC/C++プログラムの高レベルセマンティクスの両方に依存します。
詳細については、オンラインドキュメントを参照してください。
この資料は、アメリカ空軍および 国防高等研究計画局（DARPA）の 契約番号FA8750-19-C-0004に基づく支援を受けて作成されました。ここに示された意見、調査結果、結論または 推奨事項は著者（複数）のものであり、 必ずしもアメリカ空軍またはDARPAの見解を反映するものではありません。 公開承認済み、配布制限なし。
