...
The SureLogic Flashlight tool can diagnose violations of this guideline as instance fields with empty locksets.
Automated Detection
The Coverity Prevent Version 5.0 ATOMICITY checker can detect the instances of non-atomic update of a concurrently shared value. The result of the update will be determined by the interleaving of thread execution.
Related Vulnerabilities
Any vulnerabilities resulting from the violation of this rule are listed on the CERT website.
...