...
Tool | Version | Checker | Description | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| invalid_pointer_dereference uninitialized_variable_use | |||||||||||
CodeSonar |
| BADFUNC.MEMCMP BADFUNC.MEMSET | Use of memcmp Use of memset | ||||||||||
Helix QAC |
| DF4726, DF4727, DF4728, DF4729, DF4731, DF4732, DF4733, DF4734 | |||||||||||
Klocwork |
| CERT.MEMCMP.PADDED_DATA CWARN.MEM.NONPOD | |||||||||||
LDRA tool suite |
| 618 S | Partially implemented | ||||||||||
Parasoft C/C++test |
| CERT_CPP-EXP62-a | Do not compare objects of a class that may contain padding bits with C standard library functions | ||||||||||
Polyspace Bug Finder |
| CERT C++: EXP62-CPP | Checks for access attempts on padding and vtable bits (rule fully covered). | ||||||||||
PVS-Studio |
| V598, V780 | Helix QAC | Include Page | | Helix QAC_V | Helix QAC_V, V1084
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...