...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| assert_failure | |||||||
CodeSonar |
| LANG.MEM.NPD | Null Pointer Dereference | ||||||
Helix QAC |
| C++4770, C++4771, C++4772, C++4773, C++4774 | |||||||
Klocwork |
| NPD.CHECK.CALL.MIGHT | |||||||
Parasoft C/C++test |
| CERT_CPP-STR51-a | Avoid null pointer dereferencing | ||||||
Polyspace Bug Finder |
| CERT C++: STR51-CPP | Checks for string operations on null pointer (rule fully covered). |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...