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
Fakulta / Pracoviště MU
Fakulta informatiky

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

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info