3 ms·Static Race Detection and Mutex Safety and Liveness for Go programs1 points by pramodbiligiri 5y ago