سكربتات التشغيل

هذه هي سكربتات التحليل المستخدمة لإنتاج القياسات المذكورة في 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 — تقاطع المجموعات على مستوى الصفحة الذي أثبت وجود خطأ في أداة التتبع بدلاً من حقيقة معمارية عندما أبلغت أداة التتبع عن صفر تفرعات غير مباشرة عبر 3 ملايين تعليمة.
• extended_census.py — أظهر أن الإحصاء الأصلي للتفرعات غير المباشرة أحصى فقط 35% من المجموعة الحقيقية لأنه طابق صيغ السجلات فقط.
• external_decryptor_scan.py — فحص القدرات عبر الوحدات الشقيقة؛ الفرضية التي بُني من أجلها دُحضت لاحقاً بملاحظة ديناميكية لعدم الكتابة، والنتيجة السلبية مسجلة معه.

حافظ عليها صادقة: سكربت تشغيل لا يؤكد إلا فقط لا يستحق الاحتفاظ به.