Detail publikačního výsledku

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

English Title

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

Type

Peer-reviewed article not indexed in WoS or Scopus

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.

English 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

Key words in English

Dynamic Analysis, Concurrency, Noise Injection

Authors

FIEDOR, J.; VOJNAR, T.

RIV year

2013

Released

08.08.2012

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Volume

2012

Number

7687

State

Federal Republic of Germany

Pages from

35

Pages to

41

Pages count

7

Full text in the Digital Library

http://hdl.handle.net/

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