Product Details

VeriFIT Static Analysis Plugins

Created: 2019

Czech title
Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT
Type
software
License
no - free
Authors
Marcin Vladimír, Ing. (FIT BUT)
Harmim Dominik, Ing. (FIT BUT)
Pavela Ondřej, Ing. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Fiedor Tomáš, Ing., Ph.D. (DITS FIT BUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT)
Keywords

static analysis, plugin

Description

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

Location

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

Projects
AQUAS: Aggregated Quality Assurance for Systems (8A17001)
Arrowhead Tools for Engineering of Digitalisation Solutions (8A19010)
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware (GA17-12465S)
Secure and Reliable Computer Systems (FIT-S-17-4014)
Research groups
Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)
Back to top