Publication Details
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs
FIEDOR, J.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018. p. 356-359. ISBN: 978-1-4503-5699-2.
Czech title
Pokroky v prostředí ANaConDA pro dynamickou analýzu a testování paralelních programů v C/C++
Type
conference paper
Language
English
Authors
Fiedor Jan, Ing., Ph.D.
(DITS)
Mužikovská Monika, Ing.
Smrčka Aleš, Ing., Ph.D. (DITS)
Vašíček Ondřej, Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Mužikovská Monika, Ing.
Smrčka Aleš, Ing., Ph.D. (DITS)
Vašíček Ondřej, Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
URL
Keywords
Dynamic analysis, testing, concurrency, noise injection, PIN
Abstract
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.
Published
2018
Pages
356–359
Proceedings
Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
ISBN
978-1-4503-5699-2
Publisher
Association for Computing Machinery
Place
New York
DOI
UT WoS
000612724200033
EID Scopus
BibTeX
@inproceedings{BUT155009,
author="Jan {Fiedor} and Monika {Mužikovská} and Aleš {Smrčka} and Ondřej {Vašíček} and Tomáš {Vojnar}",
title="Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs",
booktitle="Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis",
year="2018",
pages="356--359",
publisher="Association for Computing Machinery",
address="New York",
doi="10.1145/3213846.3229505",
isbn="978-1-4503-5699-2",
url="https://dl.acm.org/citation.cfm?doid=3213846.3229505"
}
Files