الهندسة العكسية باستخدام الذكاء الاصطناعي

دليل بحثي عملي للهندسة العكسية للبرامج الثابتة والبرمجيات المشفّرة، باستخدام الذكاء الاصطناعي لدعم التحليل والتجارب والمراجعة.

السؤال المحوري هو أين تصبح المواد المحمية قابلة للاستخدام وما إذا كانت تلك النقطة قابلة للملاحظة. استرداد مفتاح هو أحد المسارات. وتشمل المسارات الأخرى العثور على أثر نص صريح مكافئ، أو ملاحظة تحويل، أو تنفيذ قارئ موجود، أو إعادة بناء السلوك دون استرداد المفتاح.

يحتوي هذا المستودع على مسح لـ 31 طريقة، وإطار أدلة، وأمثلة من مصادر عامة، وقوالب تحقيق قابلة لإعادة الاستخدام. ويغطي تحليل الملفات، وأدوات فحص البرمجيات، وإعادة الاستضافة، والحصول على العتاد، والقنوات الجانبية، والقيود التشفيرية. وتميّز كل طريقة بين المتطلبات المسبقة والنتائج المحتملة والأدلة اللازمة لدعم الاستنتاج.

ابدأ من هنا

1. اتبع سير عمل التحقيق لتحديد الأثر والنتيجة المرجوة والوصول المتاح.
2. استخدم مسح الطرق لاختيار تجربة مناسبة.
3. طبّق إطار الأدلة قبل ادعاء الاسترداد أو تفسير الفشل.
4. استخدم دليل التعاون مع الذكاء الاصطناعي لتقسيم البحث والمراجعة دون تحويل توافق النماذج إلى دليل.
5. سجّل التجربة في قالب التحقيق.

توضّح دراسات الحالة من المصادر العامة تصميم الصور المشفّرة، وفك التشفير الشفاف للفلاش، واستمرارية إعدادات Android، ومعالم الإقلاع. ويربط فهرس المصادر الوثائق والتنفيذات والأوراق المستخدمة في جميع أنحاء الدليل.

اختر النتيجة قبل اختيار الأداة

النتيجة المرجوة	ما الذي يثبتها
أثر نص صريح واحد	مصادقة محددة النطاق بشكل صحيح أو توافق مرجعي مستقل، مع بنية متماسكة
مفتاح محتوى قابل لإعادة الاستخدام	فك تشفير مُتحقَّق منه بشكل مستقل على عينات قابلة للتطبيق، مع تحديد نطاق المفتاح
مفتاح جهاز أو مفتاح جذر	هوية المفتاح ونطاقه مُتحقَّق منهما؛ مفتاح المحتوى أو مقبض المفتاح وحده غير كافٍ
تفسير للسلوك	آثار ملموسة وتدفق بيانات واختبارات تغطي السلوك المذكور
ملف تنفيذي معاد بناؤه	صحة التنسيق بالإضافة إلى سلوك تمثيلي في بيئة موثّقة
صورة معدّلة مقبولة من المورّد	أدلة منفصلة على التوقيع الفعلي ومسار قبول الإقلاع

تصحيحات تغيّر التحقيق

• الإنتروبيا العالية دليل على العشوائية. يمكن أن ينتجها كل من الضغط والتشفير؛ سجّل الأداة والمقياس وحجم النافذة. وثائق إنتروبيا Binwalk
• يعتمد موضع محمّل الإقلاع على المنصة وتنسيق الصورة. أول 64 كيلوبايت ليست قاعدة استخراج عامة، وقد تحذف حزمة التحديث محمّل الإقلاع.
• التشفير والتوقيعات يحلّان مشكلتين مختلفتين. استرداد النص الصريح لا يوفّر مفتاح التوقيع ولا يثبت أن صورة معدّلة ستُقلع. صور MCUboot المشفّرة
• الأمر الناجح أو السلسلة المعقولة أو المكتبة المحمّلة أو قيمة إرجاع الغلاف تحتاج إلى تحقق على الطبقة ذات الصلة بالادعاء. انظر الأمثلة المستندة إلى المصادر.
• لا يصبح التشفير القوي قابلاً للكسر عمليًا بواسطة مفكك تجميع أو نموذج لغوي. عادةً ما يأتي التقدم المفيد من التنفيذ المحيط أو التمثيلات المتاحة أو ضعف محدّد مُثبت. بحث البايكليك الكامل لـ AES

النطاق والمصدر

طُوِّر البحث الأولي من خلال بحث متخصص بمساعدة الذكاء الاصطناعي ومراجعة نقدية، بما في ذلك مساهمات Astra وOpus وFable. وقد دُمجت المراجعات بشكل انتقائي: رُفضت التفسيرات غير المدعومة والأعمال المتداخلة. يقدّم الدليل الناتج ادعاءات منهجية ويستشهد بمصادر عامة؛ ولا يدّعي وجود أداة فك تشفير عالمية جديدة أو اختراق مُثبت لجهاز معين.

يحتوي المستودع العام على نصوص بحثية وروابط عامة وقوالب فارغة وأداة للتحقق من التوثيق. أما ملفات البرامج الثابتة (firmware) والالتقاطات الخاصة ومعرّفات الأجهزة والمفاتيح المستخرجة وبيانات الاعتماد وسجلات العمليات فهي خارج نطاق نشره. طبّق الأساليب على الأنظمة والقطع الأثرية التي لديك إذن بفحصها.

التحقق من صحة المستودع

يكفي Python 3.9 أو أحدث؛ ولا حاجة إلى أي حزم خارجية.

python3 tools/check_docs.py
python3 tools/check_docs.py --self-test

تتحقق أداة الاختبار المحلية من جرد الملفات وروابط Markdown وترقيم الطرق وفهرس المصادر وسجلات الإصدارات وعدة أنماط شائعة للنشر العرضي. وهي لا تنفّذ البرامج الثابتة ولا تتصل بالأجهزة ولا تجلب المواقع الإلكترونية المرتبطة ولا تثبت صحة كل عبارة تقنية. ويبقى التحقق من المصادر جزءًا من مراجعة البحث.

إصدار التوثيق الحالي: 1.0.0. راجع سجل التغييرات والسجل القابل للإلحاق فقط.