Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Added Polyspace Bug Finder

...

Tool

Version

Checker

Description

Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

BD-TRS-DSTRLOCK, BD-TRS-REVLOCKImplemented

Polyspace Bug Finder

R2016bDestruction of locked mutexTask tries to destroy a mutex in the locked state

Related Vulnerabilities

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

...