...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.STRUCT.EBS | Empty branch statement | ||||||||||
| Klocwork |
| ||||||||||||
| LDRA tool suite |
| 11 S, 12 S, 428 S | Fully Implemented | ||||||||||
| Parasoft C/C++test |
| CERT-EXP-19 | Fully implemented | ||||||||||
| PRQA QA-C |
| 3109 | |||||||||||
| PVS-Studio | 6.22 | V529, V715 | |||||||||||
| SonarQube C/C++ Plugin |
| S1116 | PVS-Studio | 6.22 | V529, V715 | General analysis rule set |
Related Guidelines
| SEI CERT Oracle Coding Standard for Java | MSC51-J. Do not place a semicolon immediately following an if, for, or while condition |
| ISO/IEC TR 24772:2013 | Likely Incorrect Expression [KOA] |
| MITRE CWE | CWE-480, Use of incorrect operator |
...