Informace o projektu
Informace o projektu
Bugst - nástroj pro analýzu programů
(Bugst)
- Kód projektu
- MUNI/33/06/2014
- Období řešení
- 4/2014 - 6/2014
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Program děkana FI
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- prof. RNDr. Jan Strejček, Ph.D.
- Mgr. Pavel Čadek, DiS.
- Mgr. Viktor Toman
Bugst je open-source nástroj, který poskytuje knihovny pro statickou analýzu programů pomocí symbolické exekuce. Cílem projektu je rozvoj Bugstu ve dvou směrech. Prvním je přidání automatického určení horního odhadu počtu iterací cyklů analyzovaného programu jako funkce nad vstupem programu. Druhým směrem je zrychlení Bugstu díky jeho napojení na SMT solvery CVC4 a MathSAT5 a paralelnímu volání SMT solverů.