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

You are running an old browser version. We recommend updating your browser to its latest version.

More info