Publication Details

Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level

FIEDOR, J.; VOJNAR, T. Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level. PADTAD '12. Proceedings of the 10th Workshop on Parallel and Distributed Systems. New York: Association for Computing Machinery, 2012. p. 36-46. ISBN: 978-1-4503-1456-5.
Czech title
Testování a analýza vícevláknových C/C++ programů na binární úrovni založená na vkládání šumu
Type
conference paper
Language
English
Authors
Fiedor Jan, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Keywords

Concurrency, Dynamic Analysis, Noise Injection, Testing

Abstract

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.

Published
2012
Pages
36–46
Proceedings
PADTAD '12
Series
Proceedings of the 10th Workshop on Parallel and Distributed Systems
ISBN
978-1-4503-1456-5
Publisher
Association for Computing Machinery
Place
New York
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",
  booktitle="PADTAD '12",
  year="2012",
  series="Proceedings of the 10th Workshop on Parallel and Distributed Systems",
  pages="36--46",
  publisher="Association for Computing Machinery",
  address="New York",
  isbn="978-1-4503-1456-5"
}
Back to top