Informace o projektu
Informace o projektu
Vývoj nástroje Symbiotic III
(Symbiotic 3)
- Kód projektu
- MUNI/33/09/2016
- Období řešení
- 7/2016 - 11/2016
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Program děkana FI
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- prof. RNDr. Jan Strejček, Ph.D.
- Mgr. Martina Vitovská
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. Cílem projektu je rozšířit možnosti instrumentace a dále předdefinovat instrumentační skripty pro detekci vybraných typů běžných chyb.