...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| stream-argument-with-side-effects | Fully checked | ||||||
| Axivion Bauhaus Suite |
| CertC-FIO41 | |||||||
| Helix QAC |
| C5036 C++3225, C++3229 | |||||||
| LDRA tool suite |
| 35 D, 1 Q, 9 S, | Fully implemented | ||||||
| Parasoft C/C++test |
| CERT_C-FIO41-a | The value of an expression shall be the same under any order of evaluation that the standard permitsDon't write code that depends on the order of evaluation of function arguments Don't write code that depends on the order of evaluation of function designator and function arguments Don't write code that depends on the order of evaluation of expression that involves a function call A full expression containing an increment (++) or decrement (--) operator should have no other potential side effectsDo not call 'getc()', 'putc()', 'getwc()', or 'putwc()' with a stream argument containing assignments, increment or decrement operators Do not call 'getc()', 'putc()', 'getwc()', or 'putwc()' with a stream argument containing function calls or function-like macro calls | ||||||
| CERT C: Rule FIO41-C | Checks for stream arguments with possibly unintended side effects (rule fully covered) | |||||||
| RuleChecker |
| stream-argument-with-side-effects | Fully checked |
...