Project information
Zlepšení prořezávání v nástroji Symbiotic
(Symbiotic)
- Project Identification
- MUNI/33/05/2015
- Project Period
- 4/2015 - 9/2015
- Investor / Pogramme / Project type
-
Masaryk University
- FI Dean's Programme
- MU Faculty or unit
- Faculty of Informatics
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í.