...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Helix QAC |
| ||||||||||||
| 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 |
| 4926, 4927, 4928 | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Bibliography
| [Bryant 2003] | Chapter 13, "Concurrent Programming" |
| [OpenMP] |
...