Keshmesh is an interactive tool for detecting and fixing concurrency bugs in Java programs. Keshmesh looks for certain bug patterns that are common in concurrent Java programs and offers automated fixes for some of the bug patterns.
Keshmesh uses WALA to analyze programs for complex concurrency bug patterns that span multiple methods and involve aliases. Keshmesh uses FindBugs to report bugs and offer automated fixes to the users of Eclipse.
Keshmesh has been developed at the University of Illinois and is licensed under the Illinois/NCSA Open Source License. See LICENSE.TXT for more details.
You can find more information about Keshmesh at its homepage.