Project information
Zlepšení prořezávání v nástroji Symbiotic (Symbiotic)

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í.