amit-davidson / Chronos Go 438 10 Chronos - A static race detector for the go language analysis golang synchronization detection