论文信息 - ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level

This paper presents the ANaConDA framework that allows one to easily create dynamic analysers for analysing multi-threaded C/C++ programs on the binary level. ANaConDA also supports noise injection techniques to increase chances to find concurrency-related errors in testing runs. ANaConDA is built on top of the Intel’s framework PIN for instrumenting binary code. ANaConDA can be instantiated for dealing with programs using various thread models. Currently, it has been instantiated for programs using the pthread library as well as the Win32 API for dealing with threads.

Tomás Vojnar | Jan Fiedor

[1] Koushik Sen,et al. CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs , 2009, CAV.

[2] Philip J. Guo. A Scalable Mixed-Level Approach to Dynamic Analysis of C and C++ Programs , 2006 .

[3] Harish Patil,et al. Pin: building customized program analysis tools with dynamic instrumentation , 2005, PLDI '05.

[4] Nicholas Nethercote,et al. Valgrind: a framework for heavyweight dynamic binary instrumentation , 2007, PLDI '07.

[5] Eitan Farchi,et al. Framework for testing multi‐threaded Java programs , 2003, Concurr. Comput. Pract. Exp..

[6] Tomás Vojnar,et al. Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level , 2012, PADTAD 2012.

[7] Tomás Vojnar,et al. AtomRace: data race and atomicity violation detector and healer , 2008, PADTAD '08.

[8] Stephen N. Freund,et al. The RoadRunner Dynamic Analysis Framework for Concurrent Programs , 2010, PASTE '10.