Project details
Bugst - nástroj pro analýzu programů
Project code | MUNI/33/06/2014 CEP CORDIS MU WEB INET MU |
---|---|
Duration | 01.04.2014–30.06.2014 |
Status | completed |
Investor | Masaryk University |
Programme | FI Dean's Programme |
Faculty investigator | |
Faculty team members |
Annotation
Annotation is available in Czech only.
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ů.