3 ms·
> Did you know that Coverity actively REMOVED checks for concurrency bugs? Source?
by biorach 3y ago
> Did you know that Coverity actively REMOVED checks for concurrency bugs?
Source?
- btilly 3y agohttps://cseweb.ucsd.edu/~dstefan/cse227-spring20/papers/bessey:a-few.pdf https://cseweb.ucsd.edu/~dstefan/cse227-spring20/papers/bess...
- yjftsjthsd-h 3y agoSpecifically, on the last page of that: > As an example, for many years we gave up on checkers that flagged concurrency errors; while finding such errors was not too difficult, explaining them to many users was. (And thanks; I was also wondering about that)