Un moteur
Le travail natif utilise Ghidra, Hopper ou IDA. Vous apportez ce moteur. REA ne passe pas à un second moteur s'il manque.
Fonctionnement
Une fonction. Un moteur. Un lieu pour ce qui a été vu.
La rétro-ingénierie se fait une fonction à la fois. REA est une CLI locale et un serveur MCP. L'agent de code pose une question. REA lit le programme et renvoie des éléments que l'agent peut vérifier. Une hypothèse reste étiquetée comme hypothèse.
- DemanderNommez une fonction, un canal, ou une capture enregistrée. Réécrire tout le produit vient plus tard.
- ExaminerREA renvoie un fichier et une ligne, une adresse, une plage d'octets ou un champ. Chaque élément nomme son origine.
- ExpliquerVu et non vu restent dans des phrases distinctes. Une note absente ne prouve pas que le comportement manque.
Une affirmation située
Une preuve est un endroit dans l'artefact : chemin et ligne, adresse de désassemblage, ou champ d'une capture. Le pourcentage de la Calculatrice Windows est un exemple vérifié.
Ce qui quitte la machine
Les outils tournent localement. Le texte remis à l'agent de code va chez le fournisseur du modèle.
Ensuite : Démarrer et lire doctor, ou Cas pour un cas daté. Source ReaReverse.