#

race-conditions

https://static.github-zh.com/github_avatars/luk4z7?size=40
Go 2.53 k
https://static.github-zh.com/github_avatars/amit-davidson?size=40

Chronos - A static race detector for the go language

翻译Chronos-用于go语言的静态种族探测器

Go 429
https://static.github-zh.com/github_avatars/racepwn?size=40

Race Condition framework

翻译种族条件框架

Python 266
https://static.github-zh.com/github_avatars/jcp19?size=40

Automated data race detection from a distributed trace via SMT constraint solving

Java 16
Website
Wikipedia