...
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 | | BDCERT_C-PBEXP16-CC | Stricter checking than the definition here. | a
| Function address should not be compared to zero |
PC-lint Plus | PRQA QA-C | | PRQA QA | C | v | PRQA QA | C_v3004, 3344, 428 | 2440, 2441 | Partially supported: reports address of function, array, or variable directly or indirectly compared to null |
PVS-Studio | | V516, V1058 |
|
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
| function-name-constant-comparison
| Partially checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...