...
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 |
| C4841DF4841, C4842, C4843C++4841, C++4842, C++4843DF4842, 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 |
| 4841, 4842, 4843 | Enforced by QAC | ||||||
| PRQA QA-C++ |
| 4841, 4842, 4843 | |||||||
| PVS-Studio |
| V1035 |
...