Detail aplikovaného výsledku

VeriFIT Static Analysis Plugins

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

Originální název

VeriFIT Static Analysis Plugins

Anglický název

VeriFIT Static Analysis Plugins

Druh

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

Abstrakt anglicky

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

Klíčová slova anglicky

static analysis, plugin

Umístění

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

Licenční poplatek

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

www

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