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