إعادة بناء مصدر Rats! باستخدام نماذج لغوية محلية

هذا المستودع هو إعادة بناء قيد التطوير للكود المصدري الخاص بـ RATS.EXE، إصدار Windows الأصلي من Rats! (1994) من تأليف Sean O'Connor. يقوم ببناء ملف تنفيذي Win32 باستخدام Microsoft Visual C++ 4.1 عبر wibo، ويمكن اختباره في DREAMM.

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

تقتصر إعادة بناء الدوال على النماذج اللغوية المحلية. يُستخدم Codex وClaude لإعداد المستودع وتنسيق المعايير، لكن لا يُسمح لهما بكتابة أو تعديل المصدر المُعاد بناؤه.

ما لم يُذكر خلاف ذلك، استخدمت جميع التجارب Qwen3.8 27B BF16 على MacBook Pro لعام 2024 بمعالج Apple M4 Max (CPU من 16 نواة، GPU من 40 نواة) وذاكرة 128 GB. يعمل هذا النهج — بشكل غير كامل، لكنه مفيد: استغرقت الدوال الـ36 المُبقاة متوسط وقت مسجّل قدره 2m 32.1s لكل دالة لإعادة بنائها.

الإعداد

استنسخ المستودع مع الوحدات الفرعية، أو قم بتهيئتها بعد الاستنساخ:

git submodule update --init --recursive

الملف التنفيذي الأصلي غير مضمّن. نزّل إصدار Windows المجاني من صفحة Rats! الرسمية وضع RATS.EXE الخاص به في جذر المستودع لاستخدام أهداف الملف التنفيذي الأصلي والمقارنة الثنائية.

الأوامر الشائعة

make                 # build out/RATS_RE.EXE, .map, .obj, and .asm
make toolchain       # download, extract, and verify Microsoft Visual C++ 4.1
make run             # launch the rebuilt executable in DREAMM
make run-original    # launch the preserved original RATS.EXE
make test            # bounded DREAMM smoke test of the rebuilt executable
make test-original   # bounded DREAMM smoke test of the original executable
make debug           # start the rebuilt executable in DREAMM's debugger
make report          # report similarity for every reconstructed function
make compare-func FUNC=SaveHighScores ADDR=00409092

يتم تنزيل أرشيف MSVC 4.1 المثبّت بمجموع اختباري (checksum)، ومكتبات MSVC 4.1 المطلوبة، وmsvcrt40.dll المتوافق مع wibo، وDREAMM 4.0x21 عند الحاجة. تبقى هذه تبعيات بناء محلية متجاهَلة ولا يتم إيداعها في المستودع.

سير عمل إعادة البناء

يحتوي دليل ghidra/ المُودَع في المستودع على تصديرات assembly وdecompiler لجميع الدوال الداخلية البالغ عددها 177. الـ assembly هو مرجع المقارنة المعتمَد؛ أما C المُفكَّكة فهي مجرد بذرة دلالية.

ثبّت binary-recons مرة واحدة، ثم شغّله من جذر المستودع:

python3 -m pip install -e /path/to/binary-recons
binary-recons --next-function           # reconstruct the next safe missing target
binary-recons --address 0x409092        # reconstruct or improve a specific target

يكتشف الأداة Qwen تلقائيًا في ذاكرة التخزين المؤقت القياسية Hugging Face؛ ويمكن لـBINARY_RECONS_MODEL_PATH تجاوز ذلك. يحافظ binary-recons.toml على الاختيار التلقائي داخل نطاقات أكواد اللعبة، ويشغّل ويوقف llama.cpp، ويحدد ملفات المعاملات وأمر binary-comp. كل تشغيل محدود يغذّي دالة واحدة من Ghidra، ويطلب من Qwen إصلاحات مركّزة للتجميع أو لفروقات الـ assembly، ويحتفظ بأفضل مرشح آمن قابل للتجميع. استخدم --target-score 95 لجولة أعمق أو --dry-run-prompt لفحص المطالبة دون تحميل Qwen.

تُسجَّل عمليات التشغيل المقيسة للنماذج المحلية في docs/MODEL_RESULTS.md.

شكر وتقدير

شكر خاص إلى:

• Sean O'Connor لابتكاره Rats! ومواصلته إتاحة إصداره الأصلي لنظام Windows من صفحة اللعبة الرسمية.