Dotaz: gcc runtime checks

[bob]

Bezne pouzivam jenom skriptovaci jazyky, ale nyni musim modifikovat program v "c". Nedari se mi zjistit, jak pomoci gcc nebo jineho volne dostupneho nastroje provest testy na zakladni chyby jako jsou prekroceni meze poli, cteni neinicializovane promenne, zapis na misto urcene neinicializovanym pointerem apod.

Budu vdecny, kdyz mi poradite nebo date odkaz na nejaky navod pro zacatecniky.

PS. Obcas musim pouzivat i fortran, kde mam podobne problemy.

---

---

Odpovědi

[Michal Marek]

Pusť program ve valgrindu.

[oiufoj]

C/C++ bohuzel checkovat pole neumi, gfortran ale ano s pouzitim -fbounds-check.

Na C/C++ existuje vynikajici nastroj valgrind.

[Ivan]

Vim ze si ted zadelavam na flamewar, ale doporucit muzu: valgrind (free sw)
insure ( neco jako valgrind, ale komercni)
purify ( neco jako valgrind, ale komercni)
Jak insure tak i purify delaji takovy wrapper nad kompilatorem a zarovej maji castesne implementovanou vlastni runtimme knihovnu(glibc). Na linuxu je vysledna aplikace nakonec zkopimpilovana gcc, ale vstupem pro gcc uz je nejaky predzvykany zdrojak.
MSVC, microsofti Ccko ma dve runtime knihovny(release, debug) a ta debug verze provadi spoustu uzitecnych kontrol.
No pak je tu gcc a glibc, ktery taky ma nejaky volby. Vetsinou jsou ale dost dobre schovany. Zkus si najit dokumentaci ke glibc a najdi si vsechny env. promenny ktery glibc kontroluje. Nekolik tech promennych ovlivnuje prave kontroly pri alokaci pameti.
gcc ma taky svoji runtime knihovnu a teoreticky by melo umet zavolat tvoji call-back funkci pokazde kdyz program zavola svoji funkcni anebo kdyz funkce skonci. To by se dalo vyuzit ke kontrole stack-frames.
Valgrind je dobrej. Insure a purify toho umi o neco vic. A vsechno co nabizi GNU nastroje je trochu pres ruku a dost krkolome se to pouziva.

[bob]

Dekuji vsem za rady. B.