REA Safe Agent: وسيط في التحليل الثابت بين عمليتين مضمنتين
الهدف: تكامل REA 6.7.0 مع Ghidra 12.1.4 وJADX؛ تركيبات ELF حميدة وF-Droid APK
المؤلف / الإسناد: dagoSte
تاريخ مراجعة المصدر:
حالة المراجعة: تمت مراجعة المصادر؛ لا يتم إعادة تشغيل اختبارات المؤلف بشكل مستقل.
السؤال
كيف يمكن للوكيل الاستعلام عن REA بينما يظل الوصول إلى المدخلات وأدوات المضيف وطلبات النماذج محدودًا؟
ما فعله REA
يقوم التنفيذ بتشغيل REA ووكيل الاستقبال الخاص به في حاويات Docker منفصلة ويقوم بترحيل مكالمات MCP المدرجة في القائمة المسموح بها من خلال وحدة تحكم مضيف. لقطات الإدخال المجمدة وعمليات التحقق tool/path والنتائج المحددة تقيد ما يتجاوز الحدود؛ يوفر REA التحليل الثابت الفعلي.
النتائج التي أبلغ عنها المؤلف
تشير إيصالات macOS ARM64 المؤرخة إلى 11 عن مكالمات REA الناجحة مع Claude و9 مع Codex على نفس ELF الحميد، والتحقق من التجزئة وثوابت FNV-1a والسلسلة التي تم فك تشفيرها مقابل المصدر المعروف. يشير سجل التحقق بشكل منفصل إلى أن 39 يستدعي REA الناجح لإجراء تحليل مباشر لـ F-Droid 2.0.2.
القيود والمطالبات التي لم يتم التحقق منها
هذه سجلات نشرها المؤلف، وليست شهادة أمنية مستقلة. التحليل الثابت لا يشغّل الملف المستهدف. يعتمد العزل على Docker ووحدة التحكم على المضيف؛ ويُرسل النص المحلّل إلى خدمة النموذج، ولا يزال تكامل Docker على Windows تجريبيًا. تبقى نتائج فحص الثغرات في الصور الكاملة قائمة رغم نتيجة تدقيق npm المنفصل الخالية من المشكلات.
ماذا نتعلم
اختبارات منفصلة للسياسات الصورية، واستدعاءات الأدوات الحقيقية، وتشغيل النماذج الحية؛ قم بإرفاق كل مطالبة بهدف مؤرخ ومضيف واستلام.
دليل استخدام REA في المصدر
"rea_version": "6.7.0",تم تبسيط تنسيق المقتطفات. اقرأ المصدر الأصلي للحصول على السياق الكامل.
المصادر الأصلية
ملخص التحرير المستقل. الائتمان ينتمي إلى المؤلفين الأصليين. لا يتم إعادة توزيع البرامج المستهدفة والمثبتات ومخرجات برنامج فك التحويل البرمجي الكاملة هنا.