Keshmesh 1.0.0 has been released.
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:
- LCK01-J. Do not synchronize on objects that may be reused (detector)
- LCK02-J. Do not synchronize on the class object returned by getClass() (detector and fixer)
- LCK03-J. Do not synchronize on the intrinsic locks of high-level concurrency objects (detector and fixer)
- LCK06-J. Do not use an instance lock to protect shared static data (detector)
- VNA00-J. Ensure visibility when accessing shared primitive variables (detector)
See the change log for more details about what this release includes.
Keshmesh Demo at SPLASH 2011
23 Oct 2011
We will demo Keshmesh at SPLASH 2011 three times. Please see the demo proposal of Keshmesh for what the demo sessions are going to cover.
We invite you to attend any of the following demo sessions of Keshmesh:
- First Run: Tuesday, October 25, 2011 1:00-1:45 pm (PDT) in Galleria I
- Second Run: Wednesday, October 26, 2011 2:50-3:35 pm (PDT) in Galleria III
- Third Run: Thursday, October 27, 2011 10:15-11:00 am (PDT) in Galleria II
About
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.
Keshmesh uses WALA to analyze the program precisely and produce few false alarms. It uses FindBugs as a user interface to report bugs and offer automated fixes to the users of Eclipse.
