Rétro-ingénierie avec preuves : que l'agent prouve au lieu de deviner

Un agent à qui l'on demande « comment ce programme fait-il X » répondra, avec aisance, après avoir survolé quelques fichiers. Souvent à tort. Quand nous avons branché nos agents sur un cœur d'agents libre, il nous fallait savoir exactement ce qu'il envoie et attend. REA, une boîte à outils libre (MIT) de rétro-ingénierie avec une ligne de commande et un serveur d'outils pour agents, a fait répondre l'agent avec des preuves.

Ce que vous y gagnez. Un agent qui comprend n'importe quel programme preuves à l'appui, sans deviner : une analyse, puis des réponses en quelques secondes, chacune avec sa preuve. Branchez votre pile sur n'importe quoi, sans risque.

1. Ce qu'il lit

Des binaires natifs (via Ghidra), des applis JavaScript et Electron, des APK Android, des assemblies .NET, des sites web. Installation par npm, plus Ghidra et un environnement Java qui lui est dédié :

npm install -g rea-agents
rea --help

2. La méthode : analyser, prouver, questionner, coder testé

1. Analyser la cible une fois, et garder l'instantané. La première passe Ghidra sur un gros binaire dure plus de dix minutes : lancez-la en ligne de commande, pas par un appel d'outil au délai court.
2. Preuves : chaque réponse vient avec ce qui la prouve (une fonction, une chaîne, un appel) et ce qu'elle ne couvre pas.
3. Questions de suivi : elles réutilisent l'instantané et répondent en quelques secondes.
4. Implémentation : alors seulement, écrire l'adaptateur, avec un test qui exerce le comportement prouvé.

Notre règle pour les agents : ne jamais prétendre savoir comment marche un programme tiers d'après un survol de ses sources quand un outil peut en produire la preuve.

3. Le droit de regarder

Analysez ce que vous avez le droit d'analyser : vos propres logiciels, des projets libres, des programmes dont la licence ou la loi locale permet l'analyse à fin d'interopérabilité. La rétro-ingénierie pour contourner une protection ou copier un produit est une autre affaire, et ce n'est pas l'objet ici.

Pièges

Le serveur d'outils expose beaucoup d'outils. Branché tel quel sur un agent dont le fournisseur limite la taille de la liste d'outils, il faisait échouer chaque requête avec une erreur qui ressemblait à une panne (voir Kimi Code). Donnez plutôt aux agents un petit adaptateur à quelques commandes.

Gardez les instantanés hors de vos dépôts : ils sont gros, et ils contiennent le code de quelqu'un d'autre.

Sources

• REA, official repository
• Ghidra

Utile ? Dites-nous ce qu'il faut mesurer ensuite.