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

Accesses to lock objects by a synchronized block should be considered safe #45

Open reprogrammer opened 11 years ago

reprogrammer commented 11 years ago

Currently, the detector for VNA00-J reports accesses to the variable lock in the following piece of code as unsafe:

synchronized (lock) {
  ...
}

The detector shouldn't report such uses of a lock object as unsafe instructions.