Faculty of Information Technology, BUT

Product Details

VeriFIT Static Analysis Plugins

Created: 2019

Czech title
Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT
Type
software
License
no - free
Authors
Marcin Vladimír, Bc. (FIT BUT)
Harmim Dominik, Bc. (FIT BUT)
Pavela Ondřej, Bc. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Fiedor Tomáš, Ing. (DITS FIT BUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT)
Keywords
static analysis, plugin
Description
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, ...).
Location
Back to top