Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
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