SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 24

changes.mady.by.user Michal Rozenau

Saved on

compared with

New Version 25

changes.mady.by.user Anirban Gangopadhyay

Saved on

Key

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

...

Tool

Version

Checker

Description

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-POS53-a

Do not use more than one mutex for concurrent waiting operations on a condition variable

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rule POS53-CChecks for multiple mutexes used with same conditional variable (rule fully covered)


Bibliography

[Open Group 2004]pthread_cond_timedwait()/pthread_cond_wait()

...