Analyzing Go programs: no reading required

Go is a simple language: both its grammar its type systems are easy to explain and express. Both of these aspects have an influence on the tooling one can develop and this talk will concentrate on what information you can extract from a program without having any human reading the code at any point.