C'est un peu rapide comme verdict. Même si en théorie c'est vrai, tu sais très bien que la quasi-totalité des programmes utilisés sur n'importe quelle plate-forme de production ne teste jamais la réussite des appels à malloc. C'est triste mais c'est un fait, et à partir de là si ta solution consiste à dire "tous les programmes du monde sont buggés et il faut les réécrire", ça n'est pas très crédible.