Chronos - A static race detector for the go language
go
golang
synchronization
analysis
static-code-analysis
detection
static-analysis
ssa
mutex-synchronisation
pointer-analysis
race-detection
race-conditions
data-race-detection
race-condition
detects-races
-
Updated
Apr 22, 2022 - Go