...
Sound automated detection is infeasible; heuristic checks could be useful.
Tool | Version | Checker | Description | ||||
---|---|---|---|---|---|---|---|
Parasoft Jtest |
|
CERT.TSM00.OSNS | Avoid overriding synchronized methods with non-synchronized methods |
Bibliography
...
...
Sound automated detection is infeasible; heuristic checks could be useful.
Tool | Version | Checker | Description | ||||
---|---|---|---|---|---|---|---|
Parasoft Jtest |
|
CERT.TSM00.OSNS | Avoid overriding synchronized methods with non-synchronized methods |
...