Tool | Version | Checker | Description |
---|
Astrée | | function-name-constant-comparison
| Partially checked |
Coverity | | BAD_COMPARE | Can detect the specific instance where the address of a function is compared against 0, such as in the case of geteuid versus getuid() in the implementation-specific details |
GCC | |
| Can detect violations of this recommendation when the -Wall flag is used |
Helix QAC | | C0428, C3004, C3344 |
|
Klocwork | | CWARN.NULLCHECK.FUNCNAME CWARN.FUNCADDR |
|
LDRA tool suite | | 99 S | Partially implemented |
Parasoft C/C++test | | CERT_C-EXP16-a
| Function address should not be compared to zero |
PC-lint Plus | Include Page |
---|
| PC-lint Plus_V |
---|
| PC-lint Plus_V |
---|
|
| 2440, 2441 | Partially supported: reports address of function, array, or variable directly or indirectly compared to null |
PRQA QA-C | | 0428, 3004, 3344 |
|
PVS-Studio | | V516 |
|
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
| function-name-constant-comparison
| Partially checked |