Result Details

OSLC ANaConDA Adapter, Version 1.0

Created: 2020
Type
software
Language
English
Authors
Vašíček Ondřej, Ing.
Fiedor Jan, Ing., Ph.D., DITS (FIT)
Smrčka Aleš, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Description

ANaConDA is a framework for dynamic analysis of multithreaded programs written in the C/C++ languages. Its OSLC adapter extends it by a web interface based on the REST technology and complying to the OSLC standard. Through this adapter, ANaConDA can be accessed from various development environments, and one can thus combined its usage with various other development, analysis, and verification tools.

Keywords

OSLC, adapter, ANaConDA, dynamic analysis, multithreaded software, REST, web interface.

URL
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
License Conditions

Free software under the terms of Eclipse Public License version 2.0 (cf. https://www.eclipse.org/legal/epl-2.0/).

Projects
AQUAS: Aggregated Quality Assurance for Systems, EU, Horizon 2020, 8A17001, 737475, start: 2017-05-01, end: 2020-04-30, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top