Informace o projektu
Vývoj nástroje Symbiotic IV (Symbiotic 4)

Kód projektu
MUNI/33/03/2017
Období řešení
4/2017 - 8/2017
Investor / Programový rámec / typ projektu
Masarykova univerzita
Fakulta / Pracoviště MU
Fakulta informatiky

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

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info