REA Safe Agent: Vermittlung statischer Analysen zwischen zwei enthaltenen Prozessen
Ziel: REA 6.7.0 Integration mit Ghidra 12.1.4 und JADX; harmlose ELF-Geräte und ein F-Droid APK
Autor / Namensnennung: dagoSte
Datum der Quellenüberprüfung:
Überprüfungsstatus: Quellen überprüft; Autorentests werden nicht unabhängig wiederholt.
Die Frage
Wie kann ein Agent REA abfragen, während der Zugriff auf Eingaben, Host-Tools und Modellanforderungen begrenzt bleibt?
Was REA getan hat
Die Implementierung führt REA und seinen empfangenden Agenten in separaten Docker-Containern aus und leitet zugelassene MCP-Aufrufe über einen Host-Controller weiter. Eingefrorene Eingabe-Snapshots, tool/path-Prüfungen und begrenzte Ergebnisse schränken ein, was die Grenze überschreitet; REA liefert die eigentliche statische Analyse.
Vom Autor gemeldete Ergebnisse
Datierter macOS ARM64-Belegbericht 11 erfolgreiche REA-Aufrufe mit Claude und 9 mit Codex auf demselben harmlosen ELF, wobei der Hash, die FNV-1a-Konstanten und die dekodierte Zeichenfolge anhand einer bekannten Quelle überprüft werden. Der Validierungsdatensatz meldet separat 39 erfolgreiche REA-Aufrufe für eine Live-F-Droid 2.0.2-Analyse.
Einschränkungen und unbestätigte Ansprüche
Dies sind vom Autor veröffentlichte Prüfprotokolle, keine unabhängige Sicherheitszertifizierung. Die statische Analyse führt das Ziel nicht aus. Die Isolation hängt von Docker und dem Host-Controller ab; analysierter Text wird an den Modelldienst übermittelt, und die Docker-Integration unter Windows ist experimentell. Trotz des separaten unauffälligen npm-Audits bleiben Schwachstellenbefunde für die gesamten Images bestehen.
Was zu lernen ist
Separate Scheinrichtlinientests, echte Toolaufrufe und Live-Modellläufe; Fügen Sie jeder Reklamation ein datiertes Ziel, einen Host und eine Quittung bei.
REA Nutzungsnachweis in der Quelle
"rea_version": "6.7.0",Die Formatierung von Auszügen wird vereinfacht. Lesen Sie die Originalquelle für den vollständigen Kontext.
Originalquellen
- Primärquelle / angeheftete Beweise
- Projekt / Demo
- Zusätzliche Quelle 1
- Zusätzliche Quelle 2
- Zusätzliche Quelle 3
- Zusätzliche Quelle 4
Unabhängige redaktionelle Zusammenfassung. Die Urheberschaft liegt bei den Originalautoren. Zielsoftware, Installationsprogramme und die komplette Dekompilerausgabe werden hier nicht weitergegeben.
Sehen Sie sich diesen Fall auf GitHub an · Schlagen Sie eine Korrektur vor