一句话：介绍 ANaConDA 框架的进展：可在二进制级动态分析/测试并发 C/C++ 程序，内置多种检查器并支持噪声注入。
本文介绍 ANaConDA 框架在并发 C/C++ 程序动态分析与测试方面的若干进展。该框架内置多种分析器，可检测数据竞争、死锁和契约违反，并允许用户较容易地创建新的分析器。为增加被测试的交错执行多样性，ANaConDA 提供多种噪声注入技术。其分析在二进制层面进行，因此不需要程序源代码即可开展测试。除大量学术实验外，该框架还成功用于发现工业代码中的多种错误。
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.
DOI 原文 ·
@inproceedings{paperbot4818,
title = {Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs},
author = {Jan Fiedor and Monika Mužikovská and Aleš Smrčka and Ondřej Vašíček and Tomáš Vojnar},
booktitle = {ISSTA},
year = {2018},
doi = {10.1145/3213846.3229505}
}