MATE

MATE इंटरैक्टिव प्रोग्राम विश्लेषण के लिए उपकरणों का एक सुइट है, जिसका मुख्य ध्यान C और C++ कोड में बग की खोज पर है। MATE कोड प्रॉपर्टी ग्राफ (CPGs) का उपयोग करके एप्लिकेशन-विशिष्ट और निम्न-स्तरीय भेद्यता विश्लेषण को एकीकृत करता है, जो अत्यधिक एप्लिकेशन-विशिष्ट कमजोरियों की खोज को सक्षम बनाता है जो लक्ष्य C/C++ प्रोग्राम के कार्यान्वयन विवरण और उच्च-स्तरीय अर्थशास्त्र दोनों पर निर्भर करती हैं।

अधिक जानकारी के लिए ऑनलाइन दस्तावेज़ देखें।

स्वीकृतियाँ

यह सामग्री संयुक्त राज्य वायु सेना और डिफेंस एडवांस्ड रिसर्च प्रोजेक्ट्स एजेंसी (DARPA) द्वारा अनुबंध संख्या FA8750-19-C-0004 के तहत समर्थित कार्य पर आधारित है। इस सामग्री में व्यक्त कोई भी राय, निष्कर्ष और निष्कर्ष या सिफारिशें लेखक(ओं) की हैं और जरूरी नहीं कि वे संयुक्त राज्य वायु सेना या DARPA के विचारों को प्रतिबिंबित करें। सार्वजनिक रिलीज़ के लिए अनुमोदित, असीमित वितरण।