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., Ph.D. (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
Projects
Research groups
Departments
Back to top