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

Provide fix information for LCK06J #9

Closed Wanderer777 closed 13 years ago

Wanderer777 commented 13 years ago

We need to report the list of static fields that the program tries to protect by unsafe synchronized blocks. We don't know how to use this information to provide automated fixes. But, it would give the programmer a better idea of what the problem is.

reprogrammer commented 13 years ago

Please work on this issue in branch lck06j-fix-information.

samira-t commented 13 years ago

It is fixed in commit 89ca4c91accabc98f858119b84902e6de0ad221a but not tested yet.

samira-t commented 13 years ago

t is fixed and tested in commit aba713ec96634e4a767b2a28881308d51e717741