V C++ by se nemělo vůbec používat new (nanejvýš nepřímo přes make_shared), s move sémantikou v C++11 je lepší používat value typy. Pak je vše bezpečné.
ObjC je absolutně bezpečné, když se použije ARC (a nepoužije CoreFoundation nebo nějaký jiný kód v čistém C). Tedy bezpečné ve smyslu, že nikdy nedojde k ilegálnímu přístupu do paměti, úniky paměti lze vytvořit stejně. Nový runtime totiž nuluje slabé reference. Foundation a AppKit (knihovny) jsou bezpečné, např. u polí se kontrolují indexy apod. Tak trochu to funguje jako managed code+managed data nad CLR. Jakmile v ObjC použiju nízkoúrovňové C, je to jako unmanaged data v CLR a bezpečnost je fuč. (ARC je vymoženost posledních pár měsíců.)
