"ha minden bemenet rendesen validálva lenne, és az összes visszatérési érték illetve lehetséges exception kezelve lenne."
A legtöbb kódoló, akivel találkoztam, pont így csinálja. Plusz statikus analízis ezerrel. Plusz mindenféle, amit pl. a gcc nyújt. Mégis ratyi az eredménye.