OSLC ANaConDA Adapter, Version 1.0

OSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0

software

In order to use the result by another entity, it is always necessary to acquire a license

The licensor does not require a license fee for the result

Vašíček Ondřej, Ing. (DITS)
Fiedor Jan, Ing., Ph.D. (DITS)
Smrčka Aleš, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)

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

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.

http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip

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

AQUAS: Aggregated Quality Assurance for Systems, MŠMT, Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, completed

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

Department of Intelligent Systems (DITS)