Boomerang

Ένα Decompiler παίρνει ως είσοδο ένα εκτελέσιμο αρχείο, και επιχειρεί να δημιουργήσει ένα υψηλό επίπεδο, compilable, ενδεχομένως ακόμη και διατηρήσιμη αρχείο προέλευσης που κάνει το ίδιο πράγμα.
Ως εκ τούτου, είναι το αντίθετο της μεταγλώττισης, η οποία λαμβάνει ένα αρχείο προέλευσης και να κάνει ένα εκτελέσιμο αρχείο. Ωστόσο, η γενική Decompiler δεν επιχειρεί να αντιστρέψει κάθε δράση του Decompiler, μάλλον μετατρέπει το πρόγραμμα εισόδου επανειλημμένα μέχρι το αποτέλεσμα είναι το υψηλό επίπεδο πηγαίου κώδικα. Κατά συνέπεια, δεν θα αναδημιουργήσει το αρχικό αρχείο προέλευσης? πιθανώς τίποτα σαν αυτό.
Δεν έχει σημασία αν το εκτελέσιμο αρχείο έχει σύμβολα ή όχι, ή συντάχθηκε από οποιαδήποτε συγκεκριμένη γλώσσα. (Ωστόσο, δεν θεωρούνται δηλωτικές γλώσσες όπως η ML).
Η πρόθεση είναι να δημιουργηθεί ένα retargetable Decompiler (δηλαδή εκείνη που μπορεί να αποσυνθέσει διαφορετικούς τύπους αρχείων κώδικα μηχανής με μικρή προσπάθεια, π.χ. X86-παράθυρα, SPARC, Solaris, κλπ). Επρόκειτο επίσης να είναι εξαιρετικά αρθρωτή, έτσι ώστε διαφορετικά τμήματα της decompiler μπορεί να αντικατασταθεί με πειραματικά στοιχεία. Σκοπός της ήταν να γίνει τελικά διαδραστικό, a la IDA Pro, γιατί κάποια πράγματα (όχι μόνο τα ονόματα των μεταβλητών και σχόλια, αν και αυτά είναι προφανώς πολύ σημαντικό) να απαιτούν την παρέμβαση των εμπειρογνωμόνων. Είτε η διαδραστικότητα ανήκει στην Decompiler ή σε ένα ξεχωριστό εργαλείο παραμένει ασαφής.
Με τη μετατροπή της σημασιολογίας των επιμέρους οδηγίες και τη χρήση ισχυρών τεχνικών όπως η στατική ανάλυση απλής Εκχώρηση ροής δεδομένων, Μπούμερανγκ θα πρέπει να είναι (σε ​​μεγάλο βαθμό) ανεξάρτητα από την ακριβή συμπεριφορά του compiler που έτυχε να χρησιμοποιηθεί. Βελτιστοποίηση δεν θα πρέπει να επηρεάζει τα αποτελέσματα. Ως εκ τούτου, ο στόχος είναι ένας γενικός Decompiler.
Περιορισμοί:
· Σε περίπτωση που θέλετε να δοκιμάσετε Boomerang καθώς είναι σαν ένα Decompiler (σε αντίθεση με τον πειραματισμό με αυτό, ή τη βελτίωσή της), να γνωρίζει σοβαρούς περιορισμούς του. Από τις αρχές του 2004, Μπούμερανγκ μόνο θα αποσυμπίληση X86 (Linux / X86 ή Windows PE), SPARC (Solaris, ή μάλλον το Linux / SPARC), ή Power PC προγράμματα (Mac OS / X Linux / ΔΕΗ ή). Ειδικότερα, σημειώστε ότι δεν θα αποσυμπίληση προγράμματα DOS ή ΒΑ (Windows 3.1). Προσθέτοντας ένα άλλο επεξεργαστή είναι ένας μεγάλος (αρκετές μήνες) επιχείρηση.
 
· Θα δημιουργήσει μόνο C, δεν C ++. Θα αποσυμπίληση C ++ προγράμματα των μαθημάτων, (και κάθε είδους προγράμματα, συμπεριλαμβανομένης της συναρμολόγησης). Μπορεί να είστε σε θέση να παραδώσουν επεξεργαστείτε κάποια C ++ προγράμματα σε χρησιμοποιήσιμη C ++ κώδικα. Για MSVC καταρτίζονται προγράμματα, προς το παρόν θα πρέπει να spoonfeed την Decompiler και να πει ότι υπάρχει μία παράμετρος μητρώου (thiscall κλήση σύμβαση). Οι διακόπτες για να χειριστεί αυτό είναι πολύπλοκο? δείτε χρησιμοποιώντας το διακόπτη -sf.