HOME | ENGLISH | IMPRESSUM | KIT

HiWi-Job (vergeben): JOANA-Plugin für Eclipse

Gesucht wird eine Hilfskraft für die Erweiterung und Pflege unseres Eclipse-Plugins für das JOANA-Projekt.

Das JOANA-Projekt (Java Object-sensitive ANAlysis) ist eine Programmanalyse-Infrastruktur für Java. Es umfässt eine Datenflussanalyse für Java Bytecode sowie Analyseverfahren, die auf Traversion von Abhängigkeitsgraphen beruhen. Als Benutzerschnittstelle existiert seit einiger Zeit ein Plugin für das Eclipse-Framework, das hauptsächlich Algorithmen zur Analyse von Informationslecks anbietet.

Da sich dieses Tool in laufender Entwicklung befindet, sind verschiedene Erweiterungen und Wartungsarbeiten erforderlich. Diese reichen von Verbesserungen der graphischen Oberfläche bis hin zur Integration neu entwickelter Algorithmen.

Im Rahmen dieser Tätigkeit können Sie sich folgende Kenntnisse erwerben:

  • Verständnis von graphbasierter Programmanalyse
  • Analyse von Informationslecks (Information Flow Control)
  • Umgang mit dem sehr weit verbreitetem Eclipse-Framework

Aufgabe:

  • Einarbeitung in Plugin-Entwicklung mit Eclipse
  • Einarbeitung in graphbasierte Programmanalyse
  • Einarbeitung in Verfahren zur Analyse von Informationslecks

Voraussetzungen

  • Gute Kenntnisse in Java
  • Erfahrung mit Plugin-Entwicklung für Eclipse oder die Bereitschaft, sich diese anzueignen
  • Kenntnisse in Abhängigkeitsgraphen (zB. durch Compiler-Vorlesung) sind wünschenswert, aber nicht zwingend nötig.