OSLC ANaConDA Adapter, Version 1.0

Czech title

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

Type

software

License

required - free

Authors

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

Keywords

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

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.

Location

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

Licence

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 (8A17001)

Research groups

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

Departments

Department of Intelligent Systems FIT BUT (DITS FIT BUT)