Product detail

VeriFIT Static Analysis Plugins

MARCIN, V. HARMIM, D. PAVELA, O. VOJNAR, T. FIEDOR, T. ROGALEWICZ, A.

Product type

software

Abstract

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

Keywords

static analysis, plugin

Create date

26. 7. 2019

Location

http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/

Possibilities of use

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/