...
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] |
...