Publication detail

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

FIEDOR, J. VOJNAR, T.

Original Title

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

Type

journal article - other

Language

English

Original 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.

Keywords

Dynamic Analysis, Concurrency, Noise Injection

Authors

FIEDOR, J.; VOJNAR, T.

RIV year

2012

Released

8. 8. 2012

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Year of study

2012

Number

7687

State

Federal Republic of Germany

Pages from

35

Pages to

41

Pages count

7

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