Detail publikace
Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Originální název
Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Anglický název
Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Jazyk
en
Originální abstrakt
This paper aims at allowing noise-based testing and dynamic analysis of multi-threaded C/C++ programs on the binary level. First, several problems of monitoring multi-threaded C/C++ programs on the binary level are discussed together with their possible solutions. Next, a brief overview of noise injection techniques is provided along with a proposal of improving them using a fine-grained combination of several noise injection techniques within a single program. The proposed ideas have been implemented in a prototype way using the PIN framework for Intel binaries and tested on a~set of multi-threaded C/C++ programs. The obtained experimental evidence justifying the proposed solutions and illustrating the effect of various noise settings in the context of multi-threaded C/C++ programs is discussed.
Anglický abstrakt
This paper aims at allowing noise-based testing and dynamic analysis of multi-threaded C/C++ programs on the binary level. First, several problems of monitoring multi-threaded C/C++ programs on the binary level are discussed together with their possible solutions. Next, a brief overview of noise injection techniques is provided along with a proposal of improving them using a fine-grained combination of several noise injection techniques within a single program. The proposed ideas have been implemented in a prototype way using the PIN framework for Intel binaries and tested on a~set of multi-threaded C/C++ programs. The obtained experimental evidence justifying the proposed solutions and illustrating the effect of various noise settings in the context of multi-threaded C/C++ programs is discussed.
BibTex
@inproceedings{BUT97000,
author="Jan {Fiedor} and Tomáš {Vojnar}",
title="Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level",
annote="This paper aims at allowing noise-based testing and dynamic analysis of
multi-threaded C/C++ programs on the binary level. First, several problems of
monitoring multi-threaded C/C++ programs on the binary level are discussed
together with their possible solutions. Next, a brief overview of noise injection
techniques is provided along with a proposal of improving them using
a fine-grained combination of several noise injection techniques within a single
program. The proposed ideas have been implemented in a prototype way using the
PIN framework for Intel binaries and tested on a~set of multi-threaded C/C++
programs. The obtained experimental evidence justifying the proposed solutions
and illustrating the effect of various noise settings in the context of
multi-threaded C/C++ programs is discussed.",
address="Association for Computing Machinery",
booktitle="PADTAD '12",
chapter="97000",
edition="Proceedings of the 10th Workshop on Parallel and Distributed Systems",
howpublished="print",
institution="Association for Computing Machinery",
year="2012",
month="june",
pages="36--46",
publisher="Association for Computing Machinery",
type="conference paper"
}