Size

This case checks for incorrect sizeof expressions, typically leading to allocation of data of the wrong size.

A fault-finding semantic match considering sizeof expressions that involve the wrong type.
A fault-finding semantic match considering sizeof expressions that lack a dereference.
A note finding semantic match. This refers to this semantic match.