REA rétro-ingénierie

REA fait de la rétro-ingénierie avec un agent, du comportement de l'application au binaire natif.

Une fonction à la fois. REA lit le programme sur cette machine et renvoie des preuves que l'agent peut vérifier.

calc.exe · bouton %preuve

0x5b ou 0x5c ?Deux sauts arrivent au même endroit. Nommez l'opérateur avant la règle.
Quel appel divise ?La constante 100 est visible. Suivez l'auxiliaire qui la consomme.
200 + 10% = 220Après +, le pourcentage prend une part du premier nombre. Après ×, il met le produit à l'échelle.

01Une fonction
02Un moteur, sans remplacement
03Chaque affirmation a un lieu

Demander, examiner, puis expliquer.

Une fonction à la fois. REA ne remplace pas Ghidra, Hopper ou IDA. Il relie le moteur que vous utilisez déjà à l'agent que vous utilisez déjà.

Demander une fonction

Donnez à l'agent un programme, une page ou une capture, plus une question.

Lire ce qui est là

REA renvoie du code, des références, des plages de fichier ou une capture. Chaque élément nomme sa source.

Garder l'inconnu

Une hypothèse peut guider le regard suivant. Elle ne peut pas clore une affirmation seule.

Une preuve a un emplacement.

Un fichier et une ligne, une plage d'octets, une adresse de désassemblage, ou un champ dans une capture. Le chemin du pourcentage dans la Calculatrice Windows est un exemple vérifié, pas une promesse pour chaque binaire.

Pas vu

Une note absente n'est pas une preuve.

Lors du contrôle des Electron API Demos du 12 oct. 2026, fichier et ligne concordaient, et plusieurs réponses manquaient encore au résumé. L'absence dans le rapport n'établissait pas l'absence dans le programme.

Ce qu'il peut ouvrir.

Les lectures statiques restent sur cette machine. Un binaire natif exige le moteur que vous installez vous-même.

Binaires natifs

Fonctions, chaînes et cibles d'appel via Ghidra, Hopper ou IDA. Hopper n'a pas de version Windows.

JavaScript et Electron

Modules, routes et IPC depuis un dossier ou un ASAR. Une lecture statique n'exécute pas l'application.

Activité du navigateur

Un HAR enregistré se lit hors ligne. Les en-têtes d'auth et les cookies sont retirés du rapport.

Android

Paquets, ressources et bytecode choisi. S'il faut un décodeur, vous le fournissez.

.NET

Les métadonnées d'assembly se lisent dans le fichier. Ce n'est pas la trace d'un processus en cours.

Firmware et captures

Certains extracteurs et vues de paquets n'existent que sur des systèmes précis. Lisez la sortie de doctor avant de vous y fier.

Cas vérifiés, avec des dates.

Chaque nombre appartient à un seul programme. Les notes complètes sont sur Cas.

Natif

Panoramique sonore de DX-Ball

Une reconstruction publiée a vérifié 3 205 cas x86 bruts et a concordé avec 63 octets de fonctions compilées. C'est un jeu, pas un taux général.

Notes du projet et le rapport GBHackers du 12 oct. 2026.

Electron

Presse-papiers de Notion

Le script empaqueté montre le renderer qui demande au processus principal d'écrire du texte et du HTML dans le presse-papiers système.

Une trace de fonction, pas une copie du produit Notion.

Mesuré

Electron API Demos

Une exécution du 12 oct. 2026 a noté 30 fichiers et lignes sur 30, et aussi les réponses que le résumé a manquées.

systemdesign.academy, REA 6.4.0, commit 26b3d1d de la démo.

Une question, puis une réponse située.

Une session est quelque chose que vous pouvez montrer. Le bouton pourcentage de calc.exe est la forme de cette session, pas un modèle pour chaque binaire.

Demander

Après +, que fait le bouton % ?

0x5b et 0x5c arrivent ensemble. La constante est 100. 200 + 10% vaut 220 : le pourcentage prend une part du premier nombre.

Encore ouvert

Cette règle appartient à ce bouton. Elle ne passe pas au programme suivant, et une note absente ne prouve pas l'absence.

Un serveur local. Le client que vous utilisez déjà.

La configuration n'est écrite qu'après votre accord. rea doctor est la liste de ce que cette machine peut vraiment ouvrir.

Claude Code
Cursor
Codex
Gemini CLI

Pas le code source de l'éditeur. Vous obtenez des preuves du fichier ouvert.

Plus hors ligne une fois envoyé. Les outils tournent ici. Le texte confié à l'agent part vers son modèle.

Pas un second moteur. Le natif utilise Ghidra, Hopper ou IDA. S'il manque, REA n'en substitue pas un autre.

L'installer sur cette machine.

Approuvez le plan avant que REA n'écrive la configuration du client. Redémarrez l'agent ensuite. Node 22.19+, 24.11+, ou 26 et plus. Node 23 et 25 ne sont pas pris en charge.

Le paquet npm est rea-agents. La source de ce site est le dépôt ReaReverse.

npx rea-agents@latest setup

Source ReaReverse