Detail produktu

VeriFIT Static Analysis Plugins

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

Typ produktu

software

Abstrakt

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

Klíčová slova

static analysis, plugin

Datum vzniku

26. 7. 2019

Umístění

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

Možnosti využití

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

Licenční poplatek

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

www