24 Nov 2011
We are happy to announce the first release of Keshmesh (1.0.0). The Keshmesh Eclipse update site is at http://keshmesh.cs.illinois.edu/updates/. Please follow the instructions to use Keshmesh and give us your feedback. If you are familiar with FindBugs, you can think of Keshmesh as a plug-in that adds the following detectors and fixers to FindBugs:
See the change log for more details about what this release includes.
23 Oct 2011
We invite you to attend any of the following demo sessions of Keshmesh:
20 Oct 2011
Keshmesh is an interactive static analysis tool for detecting and fixing concurrency bugs in Java programs. Keshmesh looks for certain bug patterns that are common in concurrent Java programs and provides automated fixers for some of the bug patterns.