Project information
Vývoj nástroje Symbiotic IV (Symbiotic 4)

Project Identification
MUNI/33/03/2017
Project Period
4/2017 - 8/2017
Investor / Pogramme / Project type
Masaryk University
MU Faculty or unit
Faculty of Informatics

Symbiotic je open-source nástroj pro hledání chyb v počítačových programech. Nástroj je založený na kombinaci instrumentace, prořezávání a symbolické exekuce. Předkládaný projekt má tři cíle:
(1) zrychlit prořezávání díky implementaci semi-sparse analýzý dosažitelných definic,
(2) vytvořit sadu benchmarků obsahující méně časté chyby při práci s pamětí,
(3) navrhnout a implementovat robustnější analýzu ukazatelů, která bude správně fungovat i na nekorektních programech.
Zatímco první cíl by měl zrychlit běh nástroje při libovolném typu úloh, zbývající dva cíle jsou zaměřené na zpřesnění a řádné otestování nástroje při detekci chyb v práci s pamětí.

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

More info