VeriFIT Static Analysis Plugins

Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT

software

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Marcin Vladimír, Ing.
Harmim Dominik, Ing. (FIT)
Pavela Ondřej, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)

static analysis, plugin

Jedná se o souhrn pluginů implementujících různé analýzy (např. odhalování uváznutí, ověřování atomicity sekvencí volání, analýza výkonnosti) pro různé statické analyzátory (Facebook Infer, Frama-C, ...).

http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/

AQUAS: Agregované metody řízení kvality, EU, Horizon 2020, 8A17001, 737475, 2017-2020, ukončen
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen
Nástroje Arrowhead pro inženýrství a řešení digitalizace, EU, Horizon 2020, 8A19010, 2019-2022, ukončen
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, 2017-2019, řešení

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)