...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Axivion Bauhaus Suite |
| CertC++-FIO50 | |||||||
Helix QAC |
| C++4711, C++4712, C++4713 | |||||||
| CERT_CPP-FIO50-a | Do not alternately input and output from a stream without an intervening flush or positioning call | |||||||
Polyspace Bug Finder |
| CERT C++: FIO50-CPP | Checks for alternating input and output from a stream without flush or positioning call (rule fully covered) |
...