~2025-32173-11: Formulierung

2025-11-08T21:25:41Z

Formulierung

Neue Seite

{{Belege}}
Als '''Debugsymbole''' werden in der [[Informatik]] Informationen bezeichnet, die zum [[Debugger|Debuggen]] von ausführbaren Dateien erstellt werden können. Diese können direkt aus dem [[Quelltext]] gewonnen werden, insbesondere [[Bezeichner]], z. B. Variablennamen, Namen von Prozeduren und Funktionen o. Ä.

== Problemstellung ==

Beim [[Compiler|Kompilieren]] des Quelltextes eines Programms in den [[Maschinencode]] oder [[Bytecode]] gehen Bezeichner, teilweise sogar die ursprüngliche Programmstruktur, verloren (z. B. ''[[loop unrolling]]''). Bezeichner werden im kompilierten Programm nicht mehr benötigt und würden daher unnötig Speicher belegen. Die Programmstruktur wird von vielen Compilern beim Optimierungsvorgang verändert (''loop unrolling,'' um bspw. [[Sprungvorhersage#Übersicht|bedingte Sprünge]] zu vermeiden und die [[Pipeline (Prozessor)|Befehlspipeline]] von modernen Prozessoren zu nutzen) oder gar aufgelöst und durch andere Konstrukte ersetzt (z. B. [[Parallele Programmierung|Vektorisierung]] von wiederholten, gleichartigen Operationen auf einem Array, um [[SIMD]]-Fähigkeiten zu nutzen). Wenn der Compiler also Schleifen im Programmcode durch Maschinenbefehle ersetzt, welche iterierte Instruktionen (also hintereinander ausgeführte Befehle) zu einer einzelnen Maschinenspracheninstruktion zusammenfassen, wird eine Fehlersuche im Programmfluss schwierig oder gar unmöglich (vgl. [[Black Box (Systemtheorie)|Black Box]]).

Die Möglichkeiten des Debuggens von ausführbaren Dateien und [[Dynamic Link Library|Dynamic-Link Libraries]] (DLLs) auf [[Maschinencode]]-Ebene beschränken sich dann im Wesentlichen auf die Ausgabe der zugehörigen [[Assemblersprache|Assemblerbefehle]] sowie des aktuellen Verarbeitungsstands ([[Register (Computer)|Maschinenregister]], [[Programmzähler]], Datenbereiche des Speichers in tabellarischer Form).

Somit ist meist schwer, den Ablauf eines Programms bei einem Fehler nachzuvollziehen. Auch müssen spezielle Kenntnisse über die [[Rechnerarchitektur]] und [[Assemblersprache]] vorhanden sein.

== Lösung ==

Aus diesem Grunde kann der Entwickler den [[Compiler]] beim Übersetzen des Programms anweisen, in die Maschinensprache zusätzliche Informationen über das Programm einzubinden, die das Debuggen eines Programms erleichtern und als ''Debugsymbole'' oder ''Symbolinformationen'' bezeichnet werden. Meist unterlässt der Compiler daraufhin umfangreichere Optimierungen. Der Begriff Symbol wird in diesem Zusammenhang im Sinne von [[Bezeichner]] verwendet. Anschließend kann mittels eines symbolischen Debuggers das Programmgeschehen auf Quellsprachenebene der [[Programmiersprache]] verfolgt werden.

Solche Debuginformationen umfassen unter anderem die [[Symboltabelle]], welche Informationen über Funktionen und globale Variablen, die im Programm definiert bzw. referenziert sind, enthält und verwaltet (Zuordnung zwischen symbolischen Namen und Maschinenadressen). Außerdem lassen sich Ausdrücke in der Quellsprache durch den Debugger auswerten, indem zum Beispiel ein Matching zwischen Quellcode und korrespondierendem architekturabhängigen Assemblercode erzeugt wird.

=== Nachteile ===

Da die Informationen meist schon beim Übersetzen des Programms in Maschinensprache miteingebunden werden, sind die resultierenden ausführbaren Dateien erheblich größer. Sie werden in der finalen Version eines Programms wieder entfernt oder können als separate Datei abgespeichert werden.

Außerdem ermöglichen diese Symboltabellen, nach einem Dekompilieren einen sehr viel leichter verständlichen rückgewonnenen Quelltext zu erhalten. Dies stellt insbesondere für Firmen einen Nachteil dar, deren Software-Quelltext Firmengeheimnis bleiben soll (siehe [[Obfuskation (Software)|Obfuskation]]).

Da der Compiler im Allgemeinen die meisten Optimierungen unterlässt, wird die Ausführungsgeschwindigkeit mitunter deutlich herabgesetzt.

== Kommerzielle Handhabung ==

Einige Unternehmen stellen zum Zwecke der Fehlersuche in ihren Programmen separate Debugsymbole für ihre Dateien bereit, die auch separat heruntergeladen werden können. [[Microsoft]]s Debugger ''WinDbg'' ist zum Beispiel in der Lage, Debugsymbole für Windows-DLLs automatisch herunterzuladen, sofern der Quellcode nicht verfügbar ist.

[[Kategorie:Programmiersprachen]]

Debugsymbol - Versionsgeschichte

~2025-32173-11: Formulierung