> V principu každý alespoň trochu rozumně napsaný
> program je možné pomocí statické analýzy vyšetřit
> a zjistit, zda je napsán korektně.
Toto by som nikdy netvrdil.
Najma ak nevieme rozhodnut problém zastavenia Turingovho stroja.
vid. kap. 6.9.2 http://people.ksp.sk/~ppershing/mutella/skola/foja/foja_misof.pdf
> Naše debata se týkala ověřitelnosti správnosti
> kódu napsaného v jednotlivých jazycích a Lael
> vyzdvihoval zejména nebezpečnost používání ukazatelů.
A co ostatne zdroje v aplikacii ( napr. subory, sietove spojenia, databazove pripojenia ) ? Tam uz automaticke uvolnovanie zdrojov nefunguje, a programator na to musi pamatat. Ked je vsak zhyckany neuvolnovanim pamate, tak velmi casto zabuda upratovat tieto zdroje.
Kvalita kodu je vzdy zavisla od programatora a jeho navykov. A v tomto pripade je kvalita na strane Linux-u, vdaka jeho otvorenosti a reviziam kodu.