Informace o projektu
Vývoj nástroje Symbiotic III
| Kód projektu | MUNI/33/09/2016 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.07.2016–30.11.2016 |
| Stav | ukončený |
| Investor | Masarykova univerzita |
| Program | Program děkana FI |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
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.