Decompiler

Un decompiler est un programme qui prend du code exécutable et produit du code source à partir de sa création.

Un compilateur crée le code exécutable à partir du code source; un décompilateur tentatives d'inverser ce processus.

Un decompiler est une version spécialisée d'un désassembleur. Même si un désassembleur convertit le code exécutable en langage assembleur, un décompilateur tentatives d'aller plus loin et convertir le code exécutable à code source dans un langage de haut niveau, tels que C ou C + +.

Décompilateurs

Boomerang

L'objectif est le projet Boomerang est une tentative de développer un décompilateur réel pour les programmes de code machine à travers la communauté open source. Un decompiler prend en entrée un fichier exécutable, et tente de créer un niveau élevé, compilable, dossier peut-être même à maintenir source qui fait la même chose. Il est donc le contraire d'un compilateur, qui prend un fichier source et rend un fichier exécutable. Toutefois, un décompilateur général ne cherche pas à renverser toute action de l'decompiler, plutôt elle transforme le programme d'entrée jusqu'à ce que le résultat est de haut niveau du code source. Il ne sera donc pas recréer le fichier source d'origine; n'y a probablement rien de semblable. Ce n'est pas grave si le fichier exécutable a symboles ou non, ou a été compilée à partir de n'importe quelle langue en particulier. (Toutefois, comme les langages déclaratifs ML ne sont pas considérées.)

L'intention est de créer un décompilateur Retargetable (ie qui peut décompiler différents types de fichiers de code machine, avec un effort modeste, par exemple, X86-fenêtres, sparc-solaris, etc.) Il a également été conçu pour être très modulaire, de sorte que les différentes parties du decompiler peuvent être remplacées par des modules d'expérimentation. Elle était destinée à terme, être interactif, a la IDA Pro, car les noms de certaines choses (pas seulement les variables et les commentaires, si ce ne sont évidemment très important) nécessitent l'intervention d'experts. Que l'interactivité appartient à la decompiler ou dans un outil distinct reste floue.

En transformant la sémantique des instructions individuelles, et en utilisant des techniques puissantes telles que les flux de données d'analyse statique Affectation Individuelle, Boomerang devrait être (largement) indépendant du comportement exact du compilateur qui est arrivé à être utilisé. Optimisation ne doit pas affecter les résultats. Par conséquent, l'objectif est un décompilateur général.