Chronos - A static race detector for the go language
Open source implementation of the Coderrect Scanner core race detection ...