Skip to main content

Home

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:

  1. LCK01-J. Do not synchronize on objects that may be reused (detector)
  2. LCK02-J. Do not synchronize on the class object returned by getClass() (detector and fixer)
  3. LCK03-J. Do not synchronize on the intrinsic locks of high-level concurrency objects (detector and fixer)
  4. LCK06-J. Do not use an instance lock to protect shared static data (detector)
  5. 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:

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.

Feed