...
Tool | Version | Checker | Description | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| (customization) | Users can add a custom check for violations of this constraint. | ||||||||||||||||
| Compass/ROSE | Can detect common violations of this rule. However, it cannot handle cases in which the value returned by | ||||||||||||||||||
| Helix QAC |
| DF4841, DF4842, DF4843 | |||||||||||||||||
| Klocwork |
| CERT.FSETPOS.VALUE | |||||||||||||||||
| LDRA tool suite |
| 82 D | Fully implemented | ||||||||||||||||
| Parasoft C/C++test |
| CERT_C-FIO44-a | Only use values for fsetpos() that are returned from fgetpos() | ||||||||||||||||
| Polyspace Bug Finder |
| CERT C: Rule FIO44-C | Checks for invalid file position (rule partially covered) | PRQA QA-C | |||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 4841, 4842, 4843 | Enforced by QAC | PRQA QA-C++ | ||||||||||||||
| Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | |||||||||||||||||
| 4841, 4842, 4843 | PVS-Studio |
| V1035 |
...