Chronos is a static race detector for the Go language
