Journal article

FIEDOR Jan and VOJNAR Tomáš. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7687, pp. 35-41. ISSN 0302-9743.
Publication language:english
Original title:ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level
Title (cs):ANaConDA: prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni
Pages:35-41
Place:DE
Year:2012
Journal:Lecture Notes in Computer Science, Vol. 2012, No. 7687, DE
ISSN:0302-9743
Keywords
Dynamic Analysis, Concurrency, Noise Injection
Annotation
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.
BibTeX:
@ARTICLE{
   author = {Jan Fiedor and Tom{\'{a}}{\v{s}} Vojnar},
   title = {ANaConDA: A Framework for Analysing Multi-threaded C/C++
	Programs on the Binary Level},
   pages = {35--41},
   journal = {Lecture Notes in Computer Science},
   volume = {2012},
   number = {7687},
   year = {2012},
   ISSN = {0302-9743},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10108}
}

Your IPv4 address: 54.224.68.56
Switch to IPv6 connection

DNSSEC [dnssec]