Result 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.
Type
conference paper
Language
English
Authors
Fiedor Jan, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
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.

Keywords

Concurrency, Dynamic Analysis, Noise Injection, Testing

Published
2012
Pages
36–46
Proceedings
PADTAD '12
Series
Proceedings of the 10th Workshop on Parallel and Distributed Systems
Conference
10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012)/2012 International Symposium on Software Testing and Analysis (ISSTA 2012)
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"
}
Projects
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-12-31, completed
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, start: 2010-01-01, end: 2012-12-31, running
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, start: 2010-01-01, end: 2013-12-31, running
Verifikace a optimalizace počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-12-1, start: 2012-01-01, end: 2014-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top