...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| memcpy-with-padding | Partially checked | ||||||
Axivion Bauhaus Suite |
| CertC-EXP42 | |||||||
LDRA tool suite |
| 618 S | Partially implemented | ||||||
Cppcheck |
| cert.py | Detected by the addon cert.py Does not warn about global/static padding data as this is probably initialized to 0 | ||||||
Parasoft C/C++test |
| CERT_C-EXP42-a | Don't memcpy or memcmp non-PODs | ||||||
| Memory comparison of padding data MISRA CERT C: 2012 Rule 21.16Rule EXP42-C | Checks for memory comparison of padding data (rule fully covered) memcmp compares data stored in structure padding The pointer arguments to the Standard Library function | |||||||
PRQA QA-C |
| 1488 | |||||||
RuleChecker |
| memcpy-with-padding | Partially checked | ||||||
TrustInSoft Analyzer |
| comparable_char_blocks | Exhaustively verified (see the compliant and the non-compliant example). |
...