https://github.com/amit-davidson/Chronos

Chronos - A static race detector for the go language

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

Last synced: 03 May 2025