Dataflow analysis catches nil pointers in Go
blog.jetbrains.com