Skip to main content

About

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.