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