Project information
Bugst - nástroj pro analýzu programů
(Bugst)
- Project Identification
- MUNI/33/06/2014
- Project Period
- 4/2014 - 6/2014
- Investor / Pogramme / Project type
-
Masaryk University
- FI Dean's Programme
- MU Faculty or unit
-
Faculty of Informatics
- 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ů.