Informace o projektu
Další vývoj nástroje Symbiotic
| Kód projektu | MUNI/33/13/2015 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.12.2015–31.05.2016 |
| Stav | ukončený |
| Investor | Masarykova univerzita |
| Program | Program děkana FI |
| Řešitel 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. 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í).