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
- Program děkana FI
- 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í).