...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||||||
| CodeSonar |
| BADFUNC.RANDOM.RAND | Use of | ||||||||||
| Compass/ROSE | A module written in Compass/ROSE can detect violations of this rule | ||||||||||||
| Helix QAC |
| ||||||||||||
| LDRA tool suite |
| 44 S | Partially Implemented | ||||||||||
| Parasoft C/C++test |
| CERT_C-CON33-a | Avoid using thread-unsafe functions | ||||||||||
| PC-lint Plus |
| 586 | Fully supported | ||||||||||
| CERT C: Rule CON33-C | Checks for data race through standard library function call (rule fully covered) | |||||||||||
| PRQA QA-C |
| 5037, 4976, 4977 | |||||||||||
| PRQA QA-C++ |
| 4976, 4977, 5021 | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Related Guidelines
Key here (explains table format and definitions)
...