Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Guideline

Severity

Likelihood

Remediation Cost

Priority

Level

LCK07-J

low

likely

high

P3

L3

Automated Detection

SureLogic Flashlight can detect violations of this guideline. It flags both the noncompliant code examples by specifying: "potential for deadlock."

Related Vulnerabilities

Any vulnerabilities resulting from the violation of this guideline are listed on the CERT website.

Related Guidelines

MITRE CWE: CWE-412 "Unrestricted Lock on Critical Resource"

Bibliography

Wiki Markup
\[[JLS 2005|AA. Bibliography#JLS 05]\] [Chapter 17, Threads and Locks|http://java.sun.com/docs/books/jls/third_edition/html/memory.html]
\[[Halloway 2000|AA. Bibliography#Halloway 00]\]
\[[MITRE 2009|AA. Bibliography#MITRE 09]\] [CWE ID 412|http://cwe.mitre.org/data/definitions/412.html] "Unrestricted Lock on Critical Resource"

Automated Detection

SureLogic Flashlight can detect violations of this guideline. It flags both the noncompliant code examples by specifying: "potential for deadlock."

Related Vulnerabilities

Any vulnerabilities resulting from the violation of this guideline are listed on the CERT website.

...

      12. Locking (LCK)