...
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 |
| C5037 C++5021 DF4976, DF4977 | |||||||||||||||||
| Klocwork |
| CERT.CONC.LIB_FUNC_USE | |||||||||||||||||
| 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 | ||||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 5037, 4976, 4977 | PRQA QA-C++ | |||||||||||||||
| Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | 4976, 4977, 5021 |
Related Guidelines
Key here (explains table format and definitions)
...