Hlavní navigace

Názor ke článku Bezpečné programování v C++ I od vlk - > V principu každý alespoň trochu rozumně napsaný >...

  • 9. 3. 2009 8:53

    vlk (neregistrovaný)

    > 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.