>> Dereferences of null pointers are treated in special ways. > > This not a dereference. It's just pointer math. Do you prefer the wording “member access through pointer” occasionally? https://en.cppreference.com/w/c/language/operator_member_access How do you tend to describe (and detect) null pointer dereferences so far? https://wiki.sei.cmu.edu/confluence/display/c/EXP34-C.+Do+not+dereference+null+pointers#EXP34C.Donotdereferencenullpointers-AutomatedDetection Regards, Markus