REA Safe Agent: négociation d'analyses statiques entre deux processus confinés
Cible: Intégration de REA 6.7.0 avec Ghidra 12.1.4 et JADX ; des appareils ELF bénins et un F-Droid APK
Auteur / attribution: dagoSte
Date d'examen des sources:
Statut de l'examen: Sources examinées ; les tests de l'auteur ne sont pas réexécutés indépendamment.
La question
Comment un agent peut-il interroger REA alors que l’accès aux entrées, aux outils hôtes et aux requêtes de modèle reste limité ?
Ce que REA a fait
L'implémentation exécute REA et son agent de réception dans des conteneurs Docker distincts et relaie les appels MCP sur liste blanche via un contrôleur hôte. Les instantanés d'entrée gelés, les vérifications tool/path et les résultats limités limitent ce qui traverse la frontière ; REA fournit l’analyse statique réelle.
Résultats rapportés par l'auteur
Les reçus ARM64 datés de macOS signalent 11 appels REA réussis avec Claude et 9 avec Codex sur le même ELF bénin, vérifiant son hachage, ses constantes FNV-1a et sa chaîne décodée par rapport à une source connue. L'enregistrement de validation rapporte séparément 39 appels REA réussis pour une analyse F-Droid 2.0.2 en direct.
Limitations et réclamations non vérifiées
Ces comptes rendus sont publiés par l’auteur et ne constituent pas une certification de sécurité indépendante. L’analyse statique n’exécute pas la cible. Le confinement dépend de Docker et du contrôleur hôte ; le texte analysé est transmis au service du modèle et l’intégration Docker sous Windows reste expérimentale. Des vulnérabilités persistent dans les images complètes malgré un audit npm distinct sans problème signalé.
Quoi apprendre
Séparez les tests de stratégie fictive, les appels d'outils réels et les exécutions de modèles réels ; joindre chaque réclamation à une cible, un hôte et un reçu datés.
Preuve d'utilisation de REA dans la source
"rea_version": "6.7.0",Le formatage des extraits est simplifié. Lisez la source originale pour le contexte complet.
Sources originales
- Source principale/preuve épinglée
- Projet / démo
- Source supplémentaire 1
- Source supplémentaire 2
- Source supplémentaire 3
- Source supplémentaire 4
Résumé éditorial indépendant. Le crédit appartient aux auteurs originaux. Les logiciels cibles, les installateurs et la sortie complète du décompilateur ne sont pas redistribués ici.