Detail publikačního výsledku

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.

Originální název

Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs

Anglický název

Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Dynamic analysis, testing, concurrency, noise injection, PIN

Klíčová slova v angličtině

Dynamic analysis, testing, concurrency, noise injection, PIN

Autoři

FIEDOR, J.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T.

Rok RIV

2019

Vydáno

10.06.2018

Nakladatel

Association for Computing Machinery

Místo

New York

ISBN

978-1-4503-5699-2

Kniha

Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis

Strany od

356

Strany do

359

Strany počet

4

URL

https://dl.acm.org/citation.cfm?doid=3213846.3229505

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"
}

Dokumenty

issta18-final