DownUnderCTF: استعادة معادلات فحص العلم
الهدف: DownUnderCTF 2023 مدقق علم المربعات المقنعة، Linux ELF
المؤلف / الإسناد: فريق عرض REA؛ مؤلفي المشروع الأصليين المعتمدين في المصادر
تاريخ مراجعة المصدر:
حالة المراجعة: تمت مراجعة المصادر؛ لا يتم إعادة تشغيل اختبارات المؤلف بشكل مستقل.
السؤال
كيف يمكن استرداد التحقق من صحة الإدخال بدون رموز أو كود المصدر؟
ما فعله REA
يبحث REA عن سلاسل سريعة وإسنادات ترافقية، ويحلل المدقق ويقرأ الأقنعة والجداول المستهدفة. Z3 يحل قيود 26؛ يتحقق التقاط العملية من التحدي الأصلي الثنائي.
النتائج التي أبلغ عنها المؤلف
يظهر السجل الرسمي الصحيح! / الخروج من 0 للمرشح الصحيح والمرشح غير الصحيح! / الخروج من 255 لمرشح غير صحيح. يتم بعد ذلك التحقق من الحل مقابل مصدر المنظمين والبيانات الوصفية.
القيود والمطالبات التي لم يتم التحقق منها
يفترض الحل وجود تنسيق إشارة مشترك ومجموعة أحرف. انتهت مهلة البحث عن النموذج الثاني، لذلك لم يتم إثبات التفرد.
ماذا نتعلم
بعد أن ينتج المنطق الثابت مرشحًا، قم بتشغيل كل من المدخلات الصحيحة وغير الصحيحة من خلال البرنامج الأصلي.
دليل استخدام REA في المصدر
Fresh inspection and process captures on 8 October 2026, using the published REA 4.1.0 packageتم تبسيط تنسيق المقتطفات. اقرأ المصدر الأصلي للحصول على السياق الكامل.
المصادر الأصلية
ملخص التحرير المستقل. الائتمان ينتمي إلى المؤلفين الأصليين. لا يتم إعادة توزيع البرامج المستهدفة والمثبتات ومخرجات برنامج فك التحويل البرمجي الكاملة هنا.