Detail publikace
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
Jazyk
en
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.
Dokumenty
BibTex
@article{BUT97020,
author="Jan {Fiedor} and Tomáš {Vojnar}",
title="ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level",
annote="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.",
address="NEUVEDEN",
chapter="97020",
edition="NEUVEDEN",
howpublished="print",
institution="NEUVEDEN",
number="7687",
volume="2012",
year="2012",
month="august",
pages="35--41",
publisher="NEUVEDEN",
type="journal article - other"
}