GitHub repository: system-pclub/GCatch
Primary language: C++
Description: Statically Detecting Go Concurrency Bugs