1 result found Sort:

amit-davidson
Chronos amit-davidson
11
428
mit
5
Chronos - A static race detector for the go language
go ssa golang analysis detection detects-races race-condition race-detection race-conditions static-analysis synchronization pointer-analysis data-race-detection static-code-analysis mutex-synchronisation
Created 2020-10-02
253 commits to master branch, last one 2 years ago