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

Support type-based context sensitivity #64

Closed reprogrammer closed 10 years ago

reprogrammer commented 10 years ago

Make Keshmesh support a light-weight notion of context sensitivity based on receiver types as opposed to receiver objects.