...
Tool | Version | Checker | Description | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, but no explicit checker | |||||||||||||
Axivion Bauhaus Suite |
| CertC-FIO39 | |||||||||||||
CodeSonar |
| IO.IOWOP | Input After Output Without Positioning | ||||||||||||
Compass/ROSE | Can detect simple violations of this rule | ||||||||||||||
Helix QAC |
| DF4711, DF4712, DF4713 | |||||||||||||
Klocwork |
| CERT.FIO.NO_FLUSH | |||||||||||||
LDRA tool suite |
| 84 D | Fully implemented | ||||||||||||
Parasoft C/C++test |
| CERT_C-FIO39-a | Do not alternately input and output from a stream without an intervening flush or positioning call | ||||||||||||
PC-lint Plus |
| 2478, 2479 | Fully supported | ||||||||||||
| CERT C: Rule FIO39-C | Checks for alternating Alternating input and output from a stream without flush or positioning call | Undefined behavior for input or output stream operations | PRQA QA-C | Include Page | | PRQA QA-C_v | PRQA QA-C_v | 5029(rule fully covered)
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...