 
                            ...
| 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  | ||||||||
| Cppcheck Premium | 
 | premium-cert-fio44-c | Fully implemented | ||||||
| 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) | ||||||
| PVS-Studio | 
 | V1035 | 
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...