MATE

MATE MATEは、CおよびC++コードのバグの検出に焦点を当てたインタラクティブなプログラム解析ツール群です。 MATEは、コードプロパティグラフ（CPG）を用いてアプリケーション固有の脆弱性解析と低レベルの脆弱性解析を統合し、 実装の詳細とターゲットとなるC/C++プログラムの高レベルセマンティクスの両方に依存する、 高度にアプリケーション固有の脆弱性の発見を可能にします。これらは 実装の詳細とターゲットとなるC/C++プログラムの高レベルセマンティクスの両方に依存します。 詳細については、オンラインドキュメントを参照してください。 謝辞 この資料は、アメリカ空軍および...