Tool | Version | Checker | Description |
|---|
| Astrée | | inappropriate-bool | Supported indirectly via MISRA C:2012 Rule 10.1 |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-EXP46 |
|
| CodeSonar | | LANG.TYPE.IOT | Inappropriate operand type |
Coverity | | CONSTANT_EXPRESSION_RESULT | Partially implemented |
| Cppcheck | | cert.py | Detected by the addon cert.py |
| Klocwork | | MISRA.LOGIC.OPERATOR.NOT_BOOL |
|
| LDRA tool suite | | 136 S | Fully Implemented |
| Parasoft C/C++test | | CERT_C-EXP46-a
CERT_C-EXP46-b | The operands of logical operators (&&, || and !) should be effectively Boolean
Expressions that are effectively Boolean should not be used as operands to operators other than (&&, ||, !, =, ==, !=, ?:) |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| MISRA C:2012 Rule 10.1 | Operands shall not be of an inappropriate essential type |
| PRQA QA-C | | 3344,4502 |
|
| PRQA CA-C++4.2 | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 3709 |
|
| PVS-Studio | | V564 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| inappropriate-bool | Supported indirectly via MISRA C:2012 Rule 10.1 |
