Informace o projektu
Zlepšení prořezávání v nástroji Symbiotic
| Kód projektu | MUNI/33/05/2015 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.04.2015–30.09.2015 |
| 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 programech. Používá tři dobře známé metody: instrumentaci, prořezávání a symbolickou exekuci. V současné době je v Symbioticu implementován první známý algoritmus pro prořezávání programů, který k problému přistupuje pomocí data-flow analýzy. Modernější a rychlejší algoritmy používají tzv. graf závislostí. Cílem projektu je nahradit stávající prořezávací algoritmus novým, založeným na grafu závislostí.