• Details
• Metrics
• Errors

Categories:

Free Tagging:

analysis bug concurrency fixer java pattern static tool

Login or register to tag items

Keshmesh (http://keshmesh.cs.illinois.edu) is an interactive static analysis tool for detecting and fixing concurrency bug patterns in Java programs. Keshmesh looks for common bug patterns in concurrent Java programs and provides automated fixers for some of the bug patterns.

Keshmesh uses FindBugs (http://findbugs.sf.net) as its user interface but has a more powerful analysis engine that can reason about concurrency bug patterns that involve multiple methods and object aliases.

Please visit http://keshmesh.cs.illinois.edu to learn more about Keshmesh.