Project information
Vývoj nástroje Symbiotic IV (Symbiotic 4)

Symbiotic je open-source nástroj pro hledání chyb v počítačových programech. Nástroj je založený na kombinaci instrumentace, prořezávání a symbolické exekuce. Předkládaný projekt má tři cíle:
(1) zrychlit prořezávání díky implementaci semi-sparse analýzý dosažitelných definic,
(2) vytvořit sadu benchmarků obsahující méně časté chyby při práci s pamětí,
(3) navrhnout a implementovat robustnější analýzu ukazatelů, která bude správně fungovat i na nekorektních programech.
Zatímco první cíl by měl zrychlit běh nástroje při libovolném typu úloh, zbývající dva cíle jsou zaměřené na zpřesnění a řádné otestování nástroje při detekci chyb v práci s pamětí.