Linux Executables

Linux Executables werden in der Regel aus einzelnen Modulen zusammengesetzt und sie sind von abhängig von Shared Libraries.
Dieses Buch beschäftigt sich mit den verschiedenen Aspekten der Erzeugung all dieser Arten von Binär-Datei und deren wechselseitigen Zusammenhängen und Abhängigkeiten. Insbesondere werden Shared Objects im Detail behandelt, die die Basis für die meisten Linux Softwarepakete bilden, und die dynamisch, zur Laufzeit, geladen werden können. Dabei werden auch die diversen Suchmechanismen und Methoden zur Versionsverwaltung untersucht.

Als Hauptwerkzeug für diese Untersuchungen dient dabei der GNU C-Compiler GCC. Neben seiner offensichtlichen Aufgabe, der Erzeugung von Maschinen-Code, erfüllt GCC auch die Funktion eines Linkers, der einzelne Object-Module zur Executables oder Shared Objects vereinigt. Dazu gehört auch die Auflösung externen Symbole der verschiedenen Objects. Dieser Prozess, der Relocation genannt wird, erweist sich im Detail als recht komplex, gerade wenn Thread lokale Variablen involviert sind.

Da dieser Prozess auf der direkten Modifikation von Maschinen-Code beruht, wird auch ein kurzer Exkurs über Assembler eingeschoben, um das Verständnis dieser Verfahren zu untermauern.

Linux Binär-Dateien haben ein einheitliches Format: ELF (Executable and Linking Format). Somit sind ELF-Analyse-Tools wichtige Hilfsmittel zur Beobachtung und zum Verständnis von Linker Operationen.

In dem Buch werden die angesprochenen Themen stets auf der Basis von Untersuchungen dargestellt, auf vollständig durchgeführten Beispielen basieren, so dass die erläuterten Phänomene vom Leser stets nachvollzogen werden können.

Um die Darstellung trotzdem nicht ausufern zu lassen, beschränken sich die Untersuchungen auf die x86-64 Architektur, abgesehen von einem kurzen Ausflug in den 32-Bit Modus.