Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
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.

Klíčová slova

Concurrency, Dynamic Analysis, Noise Injection, Testing

Rok
2012
Strany
36–46
Sborník
PADTAD '12
Řada
Proceedings of the 10th Workshop on Parallel and Distributed Systems
Konference
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
Vydavatel
Association for Computing Machinery
Místo
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"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, zahájení: 2010-01-01, ukončení: 2012-12-31, řešení
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, zahájení: 2012-01-01, ukončení: 2014-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Pracoviště
Nahoru