Detail produktu

VeriFIT Static Analysis Plugins

Vznik: 2019

Název česky
Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT
Typ
software
Licence
ne - zdarma
Autoři
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)
Popis

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, ...).

Umístění
Projekty
Výzkumné skupiny
Pracoviště
Nahoru