REA Safe Agent: दो निहित प्रक्रियाओं के बीच स्थैतिक विश्लेषण करना

सवाल

एक एजेंट REA से कैसे पूछताछ कर सकता है जबकि इनपुट, होस्ट टूल और मॉडल अनुरोधों तक पहुंच सीमित है?

REA ने क्या किया

कार्यान्वयन REA और इसके प्राप्तकर्ता एजेंट को अलग-अलग डॉकर कंटेनरों में चलाता है और एक होस्ट नियंत्रक के माध्यम से अनुमत MCP कॉल को रिले करता है। जमे हुए इनपुट स्नैपशॉट, tool/path जांच और बंधे हुए परिणाम सीमा पार करने में बाधा डालते हैं; REA वास्तविक स्थैतिक विश्लेषण प्रदान करता है।

लेखक-रिपोर्ट किए गए परिणाम

दिनांकित macOS ARM64 रसीदें रिपोर्ट 11 क्लाउड के साथ सफल REA कॉल और उसी सौम्य ईएलएफ पर Codex के साथ 9 कॉल, इसके हैश, FNV-1a स्थिरांक और ज्ञात स्रोत के विरुद्ध डिकोडेड स्ट्रिंग की जांच करना। सत्यापन रिकॉर्ड अलग से लाइव F-Droid 2.0.2 विश्लेषण के लिए 39 सफल REA कॉल की रिपोर्ट करता है।

सीमाएँ और असत्यापित दावे

ये लेखक द्वारा प्रकाशित सत्यापन रिकॉर्ड हैं, स्वतंत्र सुरक्षा प्रमाणन नहीं। स्थिर विश्लेषण लक्ष्य फ़ाइल को चलाता नहीं है। अलगाव Docker और होस्ट नियंत्रक पर निर्भर करता है; विश्लेषित पाठ मॉडल सेवा तक जाता है और Windows पर Docker का एकीकरण प्रयोगात्मक है। अलग npm ऑडिट में समस्या न मिलने पर भी पूरी कंटेनर इमेज में मिली कमजोरियाँ बनी रहती हैं।

क्या सीखना है

अलग मॉक-पॉलिसी परीक्षण, वास्तविक टूल कॉल और लाइव मॉडल रन; प्रत्येक दावे को दिनांकित लक्ष्य, होस्ट और रसीद के साथ संलग्न करें।

स्रोत में REA उपयोग साक्ष्य

"rea_version": "6.7.0",

अंश स्वरूपण सरलीकृत किया गया है. संपूर्ण संदर्भ के लिए मूल स्रोत पढ़ें।

मूल स्रोत

• प्राथमिक स्रोत/पिन किए गए साक्ष्य
• प्रोजेक्ट/डेमो
• अतिरिक्त स्रोत 1
• अतिरिक्त स्रोत 2
• अतिरिक्त स्रोत 3
• अतिरिक्त स्रोत 4

स्वतंत्र संपादकीय सारांश. इसका श्रेय मूल लेखकों को जाता है। लक्ष्य सॉफ़्टवेयर, इंस्टॉलर और पूर्ण डिकंपाइलर आउटपुट यहां पुनर्वितरित नहीं किए गए हैं।