Detail výsledku

VeriFIT Static Analysis Plugins

Vznik: 2019
Typ
software
Jazyk
anglicky
Autoři
Marcin Vladimír, Ing., FIT (FIT)
Harmim Dominik, Ing., FIT (FIT)
Pavela Ondřej, Ing., FIT (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Fiedor Tomáš, Ing., Ph.D., UITS (FIT)
Rogalewicz Adam, doc. Mgr., Ph.D., UITS (FIT)
Popis

A collection of plugins implementing various analyses (e.g., deadlock analysis, checking atomicity of call sequences, performance analysis) for various static analysers (Facebook Infer, Frama-C, ...).

Klíčová slova

static analysis, plugin

URL
Licence
Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Projekty
AQUAS: Agregované metody řízení kvality, EU, Horizon 2020, 8A17001, 737475, zahájení: 2017-05-01, ukončení: 2020-04-30, ukončen
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
Nástroje Arrowhead pro inženýrství a řešení digitalizace, EU, Horizon 2020, 8A19010, zahájení: 2019-05-01, ukončení: 2022-07-31, ukončen
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, zahájení: 2017-01-01, ukončení: 2019-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru