Finish BMOC checker and its README.md

system-pclub / GCatch

Statically Detecting Go Concurrency Bugs

GNU General Public License v2.0

435 stars 40 forks source link

Closed lzhfromustc closed 3 years ago

lzhfromustc commented 3 years ago

Now BMOC checker is ready to run. I tested it on a buggy version of grpc that can still build, and it found 5 bugs with 0 FP