SafeTSA-Entwicklung syntaxorientierter Verfahren zur sicheren und effizienten Ausführung von mobilem Code

• Antragsteller: Professor Dr. Wolfram Amme
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2001 bis 2011
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5343064

Ein System zur mobilen Codeerzeugung besteht aus einer Produzenten- und einer Konsumentenseite. Die Produzentenseite übersetzt das Eingabeprogramm in eine Zwischencodepräsentation, die von der Konsumentenseite über das Internet geladen und nach einer zur Laufzeit durchgeführten Übersetzung auf der Zielarchitektur ausgeführt werden kann. Das Forschungsprojekt hat die Entwicklung eines vollständigen und generell einsetzbaren Systems zur mobilen Codeerzeugung zum Ziel. Das zu entwickelnde System verwendet als Zwischencoderepräsentation eine syntaxorientiete, auf der Static Single Assignment-Form basierende Darstellungsform, die neben einer sicheren, gegenüber böswilligen Manipulationen robusten, Programmübertragung auch eine effiziente Ausführung der Applikationen auf der Konsumentenseite gewährleistet. Neben dem Entwurf einer für den moibilen Code geeigneten Zwischencoderepräsentation, sollen in den Projektarbeiten sowohl für die Produzenten- als auch für die Konsumentenseite des Systems, sichere und effiziente Techniken zur Programmanalyse, Optimierung, Codeerzeugung und syntaxorientierten Komprimierung entwickelt, und unter Verwendung realer Anwendungsprogramme evaluiert werden.

• DFG-Verfahren: Sachbeihilfen
• Beteiligte Person: Professor Dr. Wilhelm Rossak