Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F18%3APU130701" target="_blank" >RIV/00216305:26230/18:PU130701 - isvavai.cz</a>
Result on the web
<a href="https://dl.acm.org/citation.cfm?doid=3213846.3229505" target="_blank" >https://dl.acm.org/citation.cfm?doid=3213846.3229505</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/3213846.3229505" target="_blank" >10.1145/3213846.3229505</a>
Alternative languages
Result language
angličtina
Original language name
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs
Original language description
The paper presents advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ANaConDA comes with several built-in analysers, covering detection of data races, deadlocks, or contract violations, and allows for an easy creation of new analysers. To increase the variety of tested interleavings, ANaConDA offers various noise injection techniques. The framework performs the analysis on a binary level, thus not requiring the source code of the program to be available. Apart from many academic experiments, ANaConDA has also been successfully used to discover various errors in industrial code.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA17-12465S" target="_blank" >GA17-12465S: Verification and Bug Hunting for Advanced Software</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISBN
978-1-4503-5699-2
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
356-359
Publisher name
Association for Computing Machinery
Place of publication
New York
Event location
Amsterdam
Event date
Jul 16, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000612724200033