Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.