ड्राइवर स्क्रिप्ट्स

ये विश्लेषण ड्राइवर हैं जिनका उपयोग README और केस नोट्स में उद्धृत मापों को उत्पन्न करने के लिए किया गया था। ये आर्ग्युमेंट-चालित और पुनःप्रयोज्य हैं: प्रत्येक कमांड लाइन पर PE पथ (और आउटपुट पथ) लेता है।

रिपॉज़िटरी रूट से चलाएँ, उदाहरण:

python scripts/extended_census.py <pe> <dynamic_edges.tsv>

स्क्रिप्ट	उद्देश्य
verify_target_decodability.py	नियंत्रण जनसंख्या के विरुद्ध native->VM लक्ष्यों का डिकोड-घनत्व सत्यापन
verify_dynamic_coverage.py	पृष्ठ-स्तरीय सेट प्रतिच्छेदन जो सिद्ध करता है कि निष्पादित कोड शाखा साइटों को ओवरलैप करता है या नहीं
verify_dynamic_edges.py	डायनामिक बनाम स्टैटिक एज सेटों का क्रॉस-रेफ़रेंस और सीमा-सत्यापन
opaque_coverage.py	स्टैटिक रूप से अपारदर्शी साइट सेट का कितना भाग डायनामिक पास ने प्राप्त किया
extended_census.py	पूरी अप्रत्यक्ष-शाखा जनगणना को प्रेक्षित साइटों के साथ मिलाना
external_decryptor_scan.py	सहोदर मॉड्यूलों को पृष्ठ-सुरक्षा/मैपिंग/लेखन क्षमता के लिए स्कैन करना
task1_slice_all.py	पूर्ण स्टैटिक स्लाइस: मुहावरा समाधान फिर पश्च स्लाइसिंग, एज आउटपुट के साथ
task1b_dynamic_codelike.py	कोड-सदृश VM प्रविष्टियों तक सीमित डायनामिक एज रिकवरी
task2_realctx.py	वास्तविक कॉल संदर्भों से अनुकरण; स्टैक फ़्रेम स्लॉट लेआउट की पुनर्प्राप्ति
task4_patch.py	लंबाई-संरक्षण डी-ऑब्फ़स्केशन पैच और कंटेनमेंट सत्यापन

ये विशिष्ट स्क्रिप्ट क्यों मौजूद हैं

इनमें से कई किसी दावे को गलत सिद्ध करने के लिए मौजूद हैं, यही कारण है कि इन्हें रखा गया है:

• verify_target_decodability.py — एक डिकोड-घनत्व मीट्रिक की तुलना नियंत्रण जनसंख्या से करता है। यह वह स्क्रिप्ट है जिसने दिखाया कि तीन लक्ष्यों का स्पॉट-चेक प्रतिनिधिक नहीं था।
• verify_dynamic_coverage.py — पृष्ठ-स्तरीय सेट प्रतिच्छेदन जिसने सिद्ध किया कि जब ट्रेसर ने 3M निर्देशों में शून्य अप्रत्यक्ष शाखाएँ रिपोर्ट कीं, तो यह एक आर्किटेक्चरल तथ्य के बजाय ट्रेसर बग था।
• extended_census.py — दिखाया कि मूल अप्रत्यक्ष-शाखा जनगणना ने वास्तविक जनसंख्या का केवल 35% गिना क्योंकि यह केवल रजिस्टर रूपों से मेल खाती थी।
• external_decryptor_scan.py — सहोदर मॉड्यूलों में क्षमता स्कैन; जिस परिकल्पना के लिए इसे बनाया गया था, वह बाद में एक डायनामिक नो-राइट अवलोकन द्वारा खंडित हो गई, और नकारात्मक परिणाम इसके साथ दर्ज है।

इन्हें ईमानदार रखें: एक ड्राइवर जो केवल पुष्टि करता है, रखने योग्य नहीं है।