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
MU Faculty or unit
Faculty of Informatics

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ů.

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

More info