Detail publikačního výsledku

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

FIEDOR, J.; VOJNAR, T.

Originální název

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

Anglický název

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

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Dynamic Analysis, Concurrency, Noise Injection

Klíčová slova v angličtině

Dynamic Analysis, Concurrency, Noise Injection

Autoři

FIEDOR, J.; VOJNAR, T.

Rok RIV

2013

Vydáno

08.08.2012

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Svazek

2012

Číslo

7687

Stát

Spolková republika Německo

Strany od

35

Strany do

41

Strany počet

7

Plný text v Digitální knihovně

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