GoRETech – Go Runtime Enforcement Techniques

?berblick

Das Ziel dieses Projekts ist die Entwicklung und Anwendung von Techniken und Werkzeugen zur statischen Analyse und dynamischen Durchsetzung für die hochgradig nebenl?ufige Programmiersprache Go, mit einem speziellen Fokus auf die Analyse von sicherheitsrelevanten Eigenschaften. Die Sprache Go ist eine moderne Programmiersprache, die nicht nur zunehmende Anwendung in der serverseitigen- und Cloud-Entwicklung findet, sondern auch als Lehrsprache für Nebenl?ufigkeit immer mehr Aufmerksamkeit gewinnt, beispielsweise am MIT. 360直播吧 bietet eine Vielzahl an Kommunikationsmechanismen: ?shared Variables“, ?Locks“ oder auch ?typed Channels“.

Key Facts

Laufzeit:
01/2015 - 12/2016
Gef?rdert durch:
DAAD

Detailinformationen

Projektleitung

contact-box image

Prof. Dr. Eric Bodden

Heinz Nixdorf Institut

Zur Person