Publication Details

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

FIEDOR, J.; VOJNAR, T. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7687, p. 35-41. ISSN: 0302-9743.
Czech title
ANaConDA: prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni
Type
journal article
Language
English
Authors
Fiedor Jan, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Keywords

Dynamic Analysis, Concurrency, Noise Injection

Abstract

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.

Published
2012
Pages
35–41
Journal
Lecture Notes in Computer Science, vol. 2012, no. 7687, ISSN 0302-9743
BibTeX 
@article{BUT97020,
  author="Jan {Fiedor} and Tomáš {Vojnar}",
  title="ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="7687",
  pages="35--41",
  issn="0302-9743"
}
Back to top