MATE

친구

Mate는 C 및 C ++ 코드의 버그를 사냥하는 데 중점을 둔 대화식 프로그램 분석 도구입니다. Mate는 CPG (Code Property Graphs)를 사용하여 애플리케이션 별 및 저수준 취약성 분석을 통일하여 구현 세부 사항과 대상 C/C ++ 프로그램의 높은 수준의 의미론에 의존하는 고도로 응용 프로그램 별 취약점을 발견 할 수 있습니다.

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

감사의 말

이 자료는 계약 번호 FA8750-19-C-0004에 따라 미국 공군 및 국방 고급 연구 프로젝트 기관 (DARPA)이 지원하는 작업을 기반으로합니다. 이 자료에 표현 된 모든 의견, 발견 및 결론 또는 권장 사항은 저자의 의견이며 반드시 미국 공군 또는 DARPA의 견해를 반영하지는 않습니다. 공개 릴리스, 배포 무제한 승인.