Versions Compared

Key

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

...

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

CON56-CPP

Low

Unlikely

High

P1

L3

Automated Detection

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

CONCURRENCY.TL

Try-lock that will never succeed

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C++4986, C++4987


Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_CPP-CON56-a

Avoid double locking

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: CON56-CPP

Checks for attempt to lock mutex that is already owned by calling thread (rule fully covered)

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...