Informace o projektu
Zlepšení prořezávání v nástroji Symbiotic
(Symbiotic)
- Kód projektu
- MUNI/33/05/2015
- Období řešení
- 4/2015 - 9/2015
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Program děkana FI
- Fakulta / Pracoviště MU
- Fakulta informatiky
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í.