Hlavní navigace

Názor ke zprávičce Firefox prý obsahuje nejméně 726 problémů od su - \mathfrak{M}ĦĒNJMARCHON - IMHO ziadny automaticky nastroj nedokaze rozlisit "skutocny problem"...

  • Aktualita je stará, nové názory již nelze přidávat.
  • 11. 9. 2006 19:38

    su - \mathfrak{M}ĦĒNJMARCHON (neregistrovaný)
    IMHO ziadny automaticky nastroj nedokaze rozlisit "skutocny problem" od "potencialneho problemu". Mam s par testovatkami skusenosti (napr. valgrind, java findbugs, nejaky C-ckove udelatko...)

    Napr. pri pythone valgrind sype "invalid read" (pokial sa nezadefinuje urcity preprocessor symbol) takmer v kuse, pretoze python ma vlastny alokator pamate, alokuje pamat na "areny", co su 4-kB kusy pamate zarovnane na hranicu 4kB. Ak by nejaka architektura mala stranky mensie nez 4kB, tak by namiesto testu, ci je dana alokovana pamat uz "claimnuta ako arena", by sposobil segfault (nepamatam si to uz uplne presne, ale cca pred rokom som riesil ten problem, nakoniec sa ukazali memory leaky v nasej app).

    Podobne, jedno C-ckove udelatko sa "chytalo" na strcpy, pricom strncpy ohodnotilo ako OK.
    Lenze:
    -pred strcpy sa da samozrejme porovnat a otestovat maximum
    -pri strncpy sa to da zase naopak pos..t (ak sa clovek dost snazi ;-))

    Napr. dost pochybujem, ze by nejake udelatko dokazalo vo FF detekovat, ze dakde mu chyba wait(), co je uz nakoniec mozno opravene, ale pamatam si, ze obcas nejake child procesy ostavali visiet.