Jogos, mert nem tudja a dereferált pointer által mutatott adatszerkezet méretét, de felépítését, szerkezetét sem. Ellenben itt szerintem ezzel semmi baj, mert a free()-nek tényleg csak a lefoglalt memória címe kell, a kernel nem tud arról, mit tároltunk oda, azt hogyan használtuk fel. Csak adott címtől adott hosszúságú terület.
Az viszont izgalmasabb, amit a cikkben hivatkoznak, miszerint a NULL pointer nem mindig (void *) 0, amiből az következik szerintem, hogy az if (p != NULL) lesz a hordozható alak, az if (p) nem ekvivalens vele, bár éppen PC-n jó, meg PIC32-n is, ami MIPS.