Informace o projektu
Další vývoj nástroje Symbiotic (Symbiotic 2)

Kód projektu
MUNI/33/13/2015
Období řešení
12/2015 - 5/2016
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. Používá tři dobře známé metody: instrumentaci, prořezávání a symbolickou exekuci. Prvním cílem projektu je zpřesnit prořezávání kódu, což by mělo vést ke zvýšení efektivity nástroje. Druhým cílem projektu je rozšířit instrumentaci tak, aby nástroj uměl odhalovat více druhů chyb (např. špatnou 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