
...
Tool | Version | Checker | Description | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Helix QAC |
| DF4926, DF4927, DF4928 | ||||||||||||
Parasoft C/C++test |
| CERT_C-POS50-a | Declare objects shared between POSIX threads with appropriate storage durations | |||||||||||
Polyspace Bug Finder |
| CERT C: Rule POS50-C | Checks for automatic or thread local variable escaping from a POSIX thread (rule fully covered) | PRQA QA-C | ||||||||||
Include Page | PRQA QA-C_v | PRQA QA-C_v | 4926, 4927, 4928 |
Bibliography
[Bryant 2003] | Chapter 13, "Concurrent Programming" |
[OpenMP] |
...