GoRETech – Go Runtime Enforcement Techniques

The goal of the project is to develop and apply static analysis and dynamic enforcement techniques and tools for the highly concurrent programming language Go, with a special focus on analysis for security-related properties. The Go language is a modern programming language that is finding growing adoption for server-side and cloud development, as well as attracting attention as a teaching-language for concurrency, e.g. at MIT. It offers a wide range of communication mechanisms: shared variables, locks, or typed channels.

Funded by: DAAD, 2015-2016