Detector: | MuDetectOPAL_180320 |
Target: | project ' synthetic_directives ' versionjsl |
Misuse: | misuse ' deadlock ' |
Tags: |
Details about the known misuse from the MUBench dataset.
Description: | Synchronizes on an object and then again on the same object within the synchroized bock, thereby, producing a deadlock. |
Fix Description: | synchronize only once. |
Violation Types: |
|
In File: | mubench/examples/directives/Deadlock.java |
In Method: | misuse(Object) |
Code with Misuse: |
|
Code with Pattern(s): |
|