Release on 12/9/2013 - Githubissues

reprogrammer / keshmesh

Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.

http://keshmesh.cs.illinois.edu/

Other

16 stars 5 forks source link

Closed reprogrammer closed 10 years ago

reprogrammer commented 10 years ago

This issue is devoted to a release of Keshmesh.

reprogrammer commented 10 years ago

Added the support for a light-weight type-based context sensitivity (issue #64).