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

• Applicant: Professor Dr. Wolfram Amme
• Subject Area: Software Engineering and Programming Languages
• Term: from 2001 to 2011
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• Participating Person: Professor Dr. Wilhelm Rossak