MATE
1.0.0
Mate เป็นชุดเครื่องมือสำหรับการวิเคราะห์โปรแกรมแบบโต้ตอบโดยมุ่งเน้นไปที่การล่าสัตว์สำหรับข้อบกพร่องในรหัส C และ C ++ Mate รวมการวิเคราะห์ช่องโหว่เฉพาะแอปพลิเคชันและระดับต่ำโดยใช้กราฟคุณสมบัติรหัส (CPGs) ช่วยให้สามารถค้นพบช่องโหว่เฉพาะแอปพลิเคชันสูงซึ่งขึ้นอยู่กับรายละเอียดการใช้งานและความหมายระดับสูงของโปรแกรม C/C ++ เป้าหมาย
ดูเอกสารออนไลน์สำหรับข้อมูลเพิ่มเติม
วัสดุนี้ขึ้นอยู่กับงานที่ได้รับการสนับสนุนจากกองทัพอากาศสหรัฐฯและหน่วยงานโครงการวิจัยขั้นสูง (DARPA) ภายใต้สัญญาหมายเลข FA8750-19-C-0004 ความคิดเห็นการค้นพบและข้อสรุปหรือคำแนะนำใด ๆ ที่แสดงในเนื้อหานี้เป็นของผู้เขียนและไม่จำเป็นต้องสะท้อนมุมมองของกองทัพอากาศสหรัฐฯหรือ DARPA ได้รับการอนุมัติสำหรับการเปิดตัวสาธารณะ Distribution Unlimited
