Algoritmizálni kell a hibakeresést, fordítási időben. Itt jöhetnek be mindenféle trükkös algoritmusok, kódelemzők. Léteznek ilyen kódelemzők, például: http://www.coverity.com/
Tekintve, hogy a userek döntő többsége előre lefordított binárist futtat, így a futási idővel kell spórolni és több erőforrást kell áldozni a fordításra, kódelemzésre.
Kíváncsi lennék, hogy egy coverity miket dobna ki egy sima linux kernel tree elemzése után...