Execution synthesis: formal description and core dump interface

Bc. Martin Milata

Diplomová práce

Anotace:

Cílem této práce je rozšířit syntézu běhu (execution synthesis), automatickou metodu pro reprodukci softwarových chyb za pomoci informací běžně obsažených v chybových hlášeních. Konkrétněji se práce zabývá modifikací této techniky tak, aby mohla využívat obrazy paměti (core dump), které dokáže pro chybné programy generovat většina operačních systémů. Práce má dvě hlavní části. V první je navržen formální popis syntézy běhu a za pomoci tohoto popisu uveden postup pro propojení této metody s obrazy paměti. Druhá část se zabývá praktickými aspekty obrazů paměti v operačním systému Linux, a její součástí je softwarový balíček umožňující získat z nich informace použitelné pro syntézu běhu.

Abstract:

The aim of the thesis is to extend the execution synthesis, an automated method for reproducing software bugs from the information commonly found in bug reports. In particular, we try to make steps necessary for the method to work with core dumps, which are memory images of crashed programs that can be produced by most operating systems. The thesis has two main parts. In the first, we provide a formal description of execution synthesis, and propose a manner in which the technique can be interfaced with core dumps, in terms of this formal model. The second part discusses practical aspects of core dumps on Linux operating system, and presents a software package that can be used to process them in order to be used in execution synthesis.

Keywords

bug reporting, core dump, DWARF, execution synthesis, symbolic execution, postmortem analysis

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 7. 1. 2013

Obhajoba závěrečné práce

• Obhajoba proběhla 8. 2. 2013
• Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
• Oponent: Mgr. Karel Klíč

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Teoretická informatika