Golang UK Conference 2017 | Takuya Ueda - Static Analysis in Go