Réversibilité / Compilation

**AlterSid** · 26/01/2011, 16h23

Bonjour à tous,

Je ne penses pas que ce soit le cas, mais je me demandais si la traduction d'un code source écrit dans un langage quelconque vers un code binaire pour une architecture donnée est un processus réversible?

Si non, étant donné le code d'un exécutable, peut-on aisément retrouver le langage dans lequel il a été écrit?

Merci d'avance,
Sid

**Melem** · 27/01/2011, 01h30

Je ne penses pas que ce soit le cas, mais je me demandais si la traduction d'un code source écrit dans un langage quelconque vers un code binaire pour une architecture donnée est un processus réversible?

La réponse générale est non, mais il existe des cas parfaitement réversibles. Par exemple, la version machine d'une fonction qui ne prend pas d'argument, qui n'utilise pas de variables, qui n'exécute que que des opérations arithmétiques et logiques ainsi que des structures de contrôle tels if, do, while, etc. et qui retourne un résultat est facilement traductible en langage de haut niveau. La traduction est d'autant plus difficle que le code se sophistique, et totalement impossible à partir d'un certain degré de sophistication.

Si non, étant donné le code d'un exécutable, peut-on aisément retrouver le langage dans lequel il a été écrit?

Les fichiers requis (les "dépendances") par le programme pour s'exécuter sont les meilleures sources d'information. Supposons que nous sommes sous Windows par exemple. A ton avis, avec quel langage a écrit le programme toto.exe qui indique dans son en-tête qu'il a besoin de msvcp100.dll (MicroSoft Visual C Plus plus 10.0 DLL) pour fonctionner ?

L'analyse des instructions et des protocoles (telles les conventions d'appel) utilisés aussi permet de se faire une idée du langage utilisé, mais c'est plus avancé et n'est pas nécessairement sans ambiguïté. Parfois l'utilisation conjointe des deux techniques est nécessaire. Suppose par exemple que le programme utilise la bibliothèque VCL. C'est donc sûrement du C++ ou du Delphi. Mais C++ et Delphi n'utilisent pas la même convention d'appel de fonction (il n'y a pas que cela comme différence bien sûr). La deuxième technique t'aidera alors à trancher.

**AlterSid** · 28/01/2011, 15h02

Merci Melem, d'avoir prit le temps de me répondre.

Ayant eu un cours sur les languages de programmation ce semestre, je me rappelles maintenant qu'effectivement les noms (de variables, de fonctions, des objets, ..) ne survivent pas à l'étape de compilation et n'ont comme seul but que d'aider le programmeur en rajoutant une couche d'abstraction.

A tout hasard, quelqu'un pourrait-il recommander un livre sur les concepts de langages? On nous a recommandé "Concepts of programming languages" de Sebesta mais après avoir été sur amazon pour voir les "reviews" j'hésites... Pour info, je n'ai aucun problème avec l'anglais, ni avec les maths/formalisme.

Merci d'avance!
Cédric

[ame="http://www.amazon.com/Concepts-Programming-Languages-Robert-Sebesta/dp/0321193628"]Amazon.com: Concepts of Programming Languages, Sixth Edition (9780321193629): Robert W. Sebesta: Books@@AMEPARAM@@http://ecx.images-amazon.com/images/I/41DC1ZRY4NL.@@AMEPARAM@@41DC1ZRY4NL[/ame]

**gorgonite** · 28/01/2011, 18h33

le problème de retrouver exactement le code d'origine n'est pas forcément pertinent... en terme de recherche, il existe quelques techniques partant d'un binaire, puis par abstract-matching et d'autres opérations réussissent à remonter en abstraction et recréer ainsi un programme ayant une "équivalence observationnelle" avec celui d'origine

sur des codes de "taille industrielle", il s'agit souvent d'un C bas-niveau... utile pour la rétro-ingénierie de composants critiques dont on aurait "perdu" les sources (ou des concurrents

)

**TropMDR** · 03/02/2011, 15h21

Envoyé par AlterSid

A tout hasard, quelqu'un pourrait-il recommander un livre sur les concepts de langages? On nous a recommandé "Concepts of programming languages" de Sebesta mais après avoir été sur amazon pour voir les "reviews" j'hésites... Pour info, je n'ai aucun problème avec l'anglais, ni avec les maths/formalisme.

Tu as http://books.google.com/books?id=FhJ...page&q&f=false et http://books.google.com/books?id=8m3...page&q&f=false qui sont très bien. Gilles Dowek est un excellent pédagogue.