github.com/amit-davidson/Chronos (go): Chronos - A static race detector for the go language
Keywords: analysis|data-race-detection|detection|detects-races|go|golang|mutex-synchronisation|pointer-analysis|race-condition|race-conditions|race-detection|ssa|static-analysis|static-code-analysis|synchronization