Project information
Vývoj nástroje Symbiotic III
(Symbiotic 3)
- Project Identification
- MUNI/33/09/2016
- Project Period
- 7/2016 - 11/2016
- Investor / Pogramme / Project type
-
Masaryk University
- FI Dean's Programme
- MU Faculty or unit
-
Faculty of Informatics
- 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.