Informace o projektu
Vývoj nástroje Symbiotic IV
| Kód projektu | MUNI/33/03/2017 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.04.2017–31.08.2017 |
| Stav | ukončený |
| Investor | Masarykova univerzita |
| Program | Program děkana FI |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
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í.
(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í.