Campus Event Calendar
Event Entry
What and Who
Programmanalyse des XRTL Zwischencodes
Werner Backes
Promotionskolloquium
AG 1, AG 2, AG 3, AG 4, AG 5
Expert Audience
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 7 January 2005
16:00
-- Not specified --
45
HS 1
Saarbrücken
Abstract
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.
analysiert den XRTL Zwischencode, um Sicherheitseigenschaften z .B.
Speicherueberlauf, die Division durch Null und die Verwendung von
uninitialisierten Variablen oder Speicherstuecken, zu verifizieren.
Contact
--email hidden
passcode not visible
logged in users only
Brigitta Hansen, 01/03/2005 16:28
Bahareh Kadkhodazadeh, 01/03/2005 12:41 -- Created document.
Bahareh Kadkhodazadeh, 01/03/2005 12:41 -- Created document.