Page History

Detected by the addon cert.py

Does not warn about global/static padding data as this is probably initialized to 0

Don't memcpy or memcmp non-PODs

Polyspace Bug Finder

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 memcmp shall point to either a pointer type, an essentially signed type, an essentially unsigned type, an essentially Boolean type or an essentially enum type

Exhaustively verified (see the compliant and the non-compliant example).