...
Code that does not conform to the common practices presented is difficult to maintain. Bugs can easily arise when modifying helper functions that evaluate true/false or success/failure. Bugs can also easily arise when modifying code that tests for equality using a comparison function that obeys the same conventions as standard library functions such as strcmp.
Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
EXP20-C | Medium | Probable | Low | P12 | L1 |
Automated Detection
Tool | Version | Checker | Description | ||||
| Astrée |
|
| Supported, but no explicit checker | |||||||||
| LDRA tool suite |
| 114 S | Partially implemented | ||||||
| Parasoft C/C++test |
|
|
| CODSTA-60 | Partially implemented | ||||||
| PRQA QA-C |
| 3344 |
Bibliography
| [StackOvflw 2009] | "Should I Return TRUE/FALSE Values from a C Function?" |
...
...