reprogrammer / keshmesh

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

http://keshmesh.cs.illinois.edu/

reprogrammer/keshmesh Stargazers