In dieser Arbeit wird das Analysetool xGCC vorgestellt: Dieses Tool
analysiert den XRTL Zwischencode, um Sicherheitseigenschaften z .B.
Speicherueberlauf, die Division durch Null und die Verwendung von
uninitialisierten Variablen oder Speicherstuecken, zu verifizieren.