VeriFIT Static Analysis Plugins

Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT

software

Use of the result by another entity is possible without acquiring a license (the result is not licensed)

The licensor does not require a license fee for the result

Marcin Vladimír, Ing.
Harmim Dominik, Ing. (FIT)
Pavela Ondřej, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Fiedor Tomáš, Ing., Ph.D. (RG VERIFIT)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)

static analysis, plugin

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

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

AQUAS: Aggregated Quality Assurance for Systems, EU, Horizon 2020, 8A17001, 737475, 2017-2020, completed
Arrowhead Tools for Engineering of Digitalisation Solutions, EU, Horizon 2020, 8A19010, 2019-2022, completed
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, completed
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, 2017-2019, running

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)