VeriFIT Static Analysis Plugins

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

software

ne - zdarma

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

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 (8A17001)
Bezpečné a spolehlivé počítačové systémy (FIT-S-17-4014)
Nástroje Arrowhead pro inženýrství a řešení digitalizace (8A19010)
ROBUST - Verifikace a hledání chyb v pokročilém softwaru (GA17-12465S)

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

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)