One correction: malloc(0) is implementation-defined behavior, not undefined behavior.

Also, this seems to be a very thin wrapper around the real articles by John Regehr. I hope parts 2 and up have more substance.