issues
search
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
Release on 5/7/2013
#49
Closed
reprogrammer
closed
11 years ago
reprogrammer
commented
11 years ago
This issue is devoted a release of Keshmesh.
reprogrammer
commented
11 years ago
Made the VNA00-J detector consider accesses to final fields safe (issue #48).
This issue is devoted a release of Keshmesh.