MATE

MATE는 C 및 C++ 코드의 버그를 찾는 데 중점을 둔 대화형 프로그램 분석 도구 모음입니다. MATE는 코드 속성 그래프(CPG)를 사용하여 애플리케이션 특정 분석과 저수준 취약성 분석을 통합함으로써, 대상 C/C++ 프로그램의 구현 세부 사항과 고수준 의미론 모두에 의존하는 매우 애플리케이션 특정적인 취약성을 발견할 수 있게 합니다.

자세한 내용은 온라인 문서를 참조하세요.

감사의 말

이 자료는 미 공군 및 국방고등연구계획국(DARPA)의 지원(계약 번호 FA8750-19-C-0004)을 받은 연구 결과를 기반으로 합니다. 본 자료에 표현된 의견, 결과 및 결론 또는 권장 사항은 저자(들)의 것이며, 반드시 미 공군 또는 DARPA의 견해를 반영하는 것은 아닙니다. 공개 배포 승인, 배포 제한 없음.