C'est pas trivial, loin de là, mais tu as plein d'invariants que tu peux retrouver.
Et d'ailleurs, quand je débogue un programme avec GDB, je m'apperçois que ça correspond. Après tu peux avoir des optims (inlining, extrusion de boucle, etc) qui change des choses, mais d'une manière générale, tu t'y retrouve bien.
Et t'as même depuis des dizaines d'années des désassembleurs qui te sortent du code C à partir d'un binaire...
Après, un coup d'œil humain, et t'arrives à te convaincre (plus ou moins facilement selon la taille du code) que le code est le même (s'il l'est).
Tu peux aussi compiler ton code source, et comparer les executions des binaires. Technique très utilisée (c'est du model-checking en quelque sorte) pour vérifier qu'un programme se comporte comme l'implantation de référence.
[^] # Re: Ah le beau FUD
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Les sept péchés de Windows Seven. Évalué à 2.
Et d'ailleurs, quand je débogue un programme avec GDB, je m'apperçois que ça correspond. Après tu peux avoir des optims (inlining, extrusion de boucle, etc) qui change des choses, mais d'une manière générale, tu t'y retrouve bien.
Et t'as même depuis des dizaines d'années des désassembleurs qui te sortent du code C à partir d'un binaire...
Après, un coup d'œil humain, et t'arrives à te convaincre (plus ou moins facilement selon la taille du code) que le code est le même (s'il l'est).
Tu peux aussi compiler ton code source, et comparer les executions des binaires. Technique très utilisée (c'est du model-checking en quelque sorte) pour vérifier qu'un programme se comporte comme l'implantation de référence.