[zozbot234]

My own semi-random guess is that "simple hysterics" is indeed how a vast majority (if perhaps not quite 99.999%) of C/C++ devs approaches the code correctness problem - which is why safety mechanisms like the one proposed by OP may in fact be urgently needed. Simple heuristics are likely to be significantly more worthwhile, if appropriately chosen.

[bluGill]

C++ for sure needs better safety mechanisms. And I don't know the exact number of issues simple heuristics can catch.