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