01 · QUALIFIER
Le logiciel d’origine est lancé et observé
AERO-COVER exécute le binaire dans votre enceinte et capture ses écrans, ses entrées et ses sorties. Ce comportement devient la référence à reproduire.
AeroLabs LABS · Programme R&D
AERO-COVER RESEARCH
Reprendre la maîtrise d’un logiciel critique dont la source est perdue, incomplète ou verrouillée chez un tiers. À partir du seul exécutable, AERO-COVER reconstruit une baseline exploitable : code source documenté, binaire reconstructible, preuve d’équivalence.
EntréeExécutable (binaire), sans source ni documentation
SortieSource documenté + chaîne de build reproductible + preuve d’équivalence
PourMCO · obsolescence · programmes hérités · souveraineté
Démonstration
Du binaire au source documenté
VOTRE POSTE
ecl_poste_ctrl.exe
4,2 Mo · source perdue
Consigne pression
4,2 bar
src/ + SDD.pdf
ecl_rebuild.exe
DÉPOSEZ VOTRE EXÉCUTABLE
Atelier AERO-COVERdécompilation
0800A1C8 E59F42B8 E1540006
0800A1D0 0A00001C E3A00001
fonctions identifiées1 284
/** Contrôle pression — REQ-014 */
int ctrl_pression(canal_t c) {
reguler(c, consigne_bar); }
recompilation + chaîne de buildOK
AVANT — BINAIRE D’ORIGINE
Consigne pression
4,2 bar
APRÈS — RECONSTRUIT + DOCUMENTÉ
Consigne pression
4,2 bar
Votre exécutable : il tourne, mais la source est perdue
EN COURS
Étape par étape
De l’exécutable perdu à une baseline maîtrisée
02 · DÉCOMPILER
Le binaire révèle sa structure réelle
L’atelier identifie fonctions, structures, interfaces et flux. La cartographie se construit module par module, sans dépendre d’une documentation obsolète.
03 · RECONSTRUIRE
Le source et sa documentation se reforment ensemble
Le code devient lisible et commenté dans votre vocabulaire métier. Le dossier de conception et la chaîne de build sont générés en parallèle.
04 · PROUVER
Ancien et nouveau sont rejoués côte à côte
Les mêmes scénarios sont exécutés sur les deux versions. Écrans, sorties et timings sont comparés avant remise du nouvel exécutable et de la preuve d’équivalence.
Livrables
Ce que vous recevez
SRCCode source documenté, organisé par modules
PDFRapport d’équivalence binaire
MDChaîne de build reproductible
PDFCartographie des modules et interfaces
Un binaire à reprendre ?
Apportez un exécutable représentatif — nous cadrons la faisabilité lors du briefing, dans votre enceinte si nécessaire.
Demander un briefing