./7110 : tu réponds à côté de la plaque, je ne te dis pas que c'est une bonne chose de ne pas vérifier les accès mémoire ou que c'est compliqué à faire, je te dis simplement qu'en pratique une large majorité de projets ne le font pas. Ça ne sert à rien de se mettre la tête sans le sable et expliquer que "ces programmes ne devraient pas exister" pour résoudre le problème.
./7111 :

, et quand on utilise ces langages plus haut niveau qui vont jeter des exceptions, tout comme les wrappers qui ajoutent un assert automatique sur le résultat de malloc, ne vont faire qu'ajouter un peu de contexte dans les stack traces mais en aucun cas rendre le programme plus fiable. Il plantera dans tous les cas, à moins de gérer tous les échecs possibles proprement, ce qui n'est en pratique jamais fait.