MATE
1.0.0
Mate هي مجموعة من الأدوات لتحليل البرنامج التفاعلي مع التركيز على البحث عن الأخطاء في رمز C و C ++. يقوم Mate بتوحيد تحليل الضعف الخاص بالتطبيق والمنخفضة المستوى باستخدام الرسوم البيانية لعلامات الرمز (CPGs) ، مما يتيح اكتشاف نقاط الضعف الخاصة بالتطبيقات التي تعتمد على كل من تفاصيل التنفيذ والدلالات عالية المستوى لبرامج C/C ++ عالية المستوى.
انظر الوثائق عبر الإنترنت لمزيد من المعلومات.
تستند هذه المادة إلى العمل الذي تدعمه وكالة مشروع البحوث الجوية للولايات المتحدة الأمريكية والدفاع (DARPA) بموجب العقد رقم FA8750-19-C-0004. أي آراء أو نتائج واستنتاجات أو توصيات معبر عنها في هذه المواد هي آراء المؤلفين (المؤلفين) ولا تعكس بالضرورة وجهات نظر سلاح الجو الأمريكي أو DARPA. معتمدة للإفراج العام ، توزيع غير محدود.
