...
Tool | Version | Checker | Description | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| stream-argument-with-side-effects | Fully checked | ||||||||||
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 permits Don't write code that depends on the order of evaluation of function arguments | ||||||||||
| Stream argument with possibly unintended side effects | Stream argument side effects occur more than once | |||||||||||
PRQA QA-C |
| 5036 | |||||||||||
PRQA QA-C++ |
| 3225, 3229 | |||||||||||
RuleChecker |
| stream-argument-with-side-effects | Fully checked |
...