Reverse Engineering C++ - beste Werkzeuge und Ansatz

Question

Es tut mir leid - C++ - Quellcode kann als Implementierung eines Designs gesehen werden, und mit Reverse-Engineering ich meine, das Design zurück zu bekommen. Es scheint, dass die meisten von euch es gelesen haben, als ob sie eine C++ Quelle von Binaries bekommen. Ich habe eine genauere Frage an Understanding a C++ codebase by generating UML - tools&methology

---

geschrieben Ich denke, es gibt viele Tools, die C-Reverse Engineering kann ++ (Sourcecode), aber in der Regel ist es nicht so einfach, einen Sinn zu geben, was Sie raus.

Haben Sie eine gute Methode gefunden?

Ich denke, eines der Dinge, die ich zum Beispiel sehen möchte, ist die GUI-Ebene und wie sie getrennt ist (oder nicht vom Rest). Denke, die Tools sollten Pakete irgendwie erkennen und dann lasse ich sie manuell organisieren.

Answer 1

Meiner Kenntnis nach gibt es keine zuverlässigen Tools, die kompiliertes C++ rückentwickeln können.

Darüber hinaus denke ich, dass es fast unmöglich sein sollte, ein solches Gerät zu bauen. Ein kompiliertes C++ - Programm wird zu nichts weiter als maschinensprachlichen Anweisungen. Um zu wissen, wie dies C++ - Konstrukten zugeordnet ist, müssen Sie den Compiler, die Compilereinstellungen, die enthaltenen Bibliotheken usw. ad infinitum kennen.

Warum wollen Sie so etwas? Je nachdem, was Sie wollen, kann es andere Wege geben, um das zu erreichen, was Sie wirklich wollen.

Answer 2

Sie können mit dissembly Steuerfluss ziehen, aber Sie werden nie wieder Datentypen ...

Es gibt nur ganze Zahlen (und vielleicht ein paar Shorts) in der Montage. Denken Sie an Objekte, Arrays, Strukturen, Strings und Zeigerarithmetik, die alle vom selben Typ sind!

Answer 3

Es ist zwar keine vollständige Lösung. Sie sollten in IDA Pro und Hexrays schauen.

Es ist mehr für "Reverse Engineering" im traditionellen Sinne des Satzes. Wie in, wird es Ihnen eine gute Idee von dem geben, wie der Code in einer C-ähnlichen Sprache aussehen würde, aber wird (kann) nicht völlig funktionierenden Quellcode zur Verfügung stellen.

Was es gut ist für, ein gutes Verständnis davon zu bekommen, wie ein bestimmtes Segment (normalerweise eine Funktion) funktioniert. Es ist "user assisted", was bedeutet, dass es oft viele Dereferenzierungen von Offsets macht, wenn es wirklich eine Struktur oder Klasse gibt. An diesem Punkt können Sie den Decompiler mit einer Strukturdefinition versorgen (Klassen sind wirklich nur Strukturen mit zusätzlichen Dingen wie v-Tabellen und so) und es wird den Code mit den neuen Typinformationen neu analysieren.

Wie ich schon sagte, es ist nicht perfekt, aber wenn Sie "Reverse Engineering" machen wollen, ist es die beste Lösung, die ich kenne. Wenn Sie vollständige "Dekompilierung" wollen, dann haben Sie ziemlich viel Glück.

Answer 4

Das OovAide-Projekt unter oder auf GitHub hat ein paar Funktionen, die helfen können. Es verwendet den CLang-Compiler zum Abrufen von genauen Informationen aus dem Quellcode. Es durchsucht die Verzeichnisse auf der Suche nach Quellcode und sammelt die Informationen in ein kleineres Dataset, das die für die Analyse erforderlichen Informationen enthält.

Ein Konzept heißt Zone Diagrams.Es zeigt Beziehungen zwischen Klassen bei ein sehr hohes Niveau seit jeder Klasse, wie ein Punkt auf dem Diagramm gezeigt, und Verbindungslinien werden gezeigt, die sie verbinden. Dies ermöglicht die Diagramme, um Hunderte oder Tausende von Klassen anzuzeigen. Die OovAide-Programmzonendiagrammanzeige hat einen Optionsaufruf "Show Child Zones", , der die Klassen gruppiert, die in Verzeichnissen näher beieinander liegen. Es gibt auch Verzeichnisfilter, mit denen die Anzahl der Klassen reduziert werden kann, die in einem Diagramm für sehr große Projekte angezeigt werden. Ein Beispiel für Zonenpläne und wie sie funktionieren wird hier gezeigt: http://oovaide.sourceforge.net/articles/ZoneDiagrams.html

Wenn die Verzeichnisse Komponententypen in den Buildeinstellungen zugewiesen sind, dann das Komponentendiagramm, das die Abhängigkeiten zwischen den Komponenten zeigen. Diese zeigt sogar, welche Komponenten von externen Komponenten wie GTK oder anderen externen Bibliotheken abhängig sind.

Die nächste Ebene nach unten zeigt etwas wie UML-Klassendiagramme, zeigt aber alle Relationen anstelle von nur Aggregation und Vererbung. Er kann Klassen anzeigen, die in Methoden verwendet werden, oder Klassen, die als Parameter an Methoden übergeben werden. Jede Klasse kann als Startpunkt ausgewählt werden, dann wird vor eine Klasse dem Diagramm hinzugefügt, und es wird eine Liste angezeigt, in der angezeigt werden kann, welche Klassen durch einen Beziehungstyp angezeigt werden.

Die unterste Ebene zeigt Sequenzdiagramme. Dies ermöglicht das Navigieren in der Aufrufstruktur nach oben oder nach unten, während die Klassen angezeigt werden, die die Methoden enthalten.