...
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 | ||||||
| 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 |
...