GoRETech – Go Runtime Enforcement Techniques

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“.