Surprisingly accurate, author did his research.
5 is also missing a check for a NULL pointer. ;)
Most of there rules are unfortunately ignored, as obscure information. The worst offender I see in wild code is 5.
The second most ignored is not checking values before computation: 10, 11, 12.
No.7 is very interesting, rarely violated, most programmers don't even know that is a thing or just assume the processor won't trap on an unaligned read.