Zpět na vyhledávání

Bc. Peter Hruška

Master's thesis

Rozšíření nástroje pro symbolickou exekuci KLEE

Extension of the KLEE symbolic analysis tool
Abstract:
This text deals with extension of a tool for symbolic execution named KLEE by functionality of substitution of symbolic expressions with concrete values which is present in tool named DART. It is focused mainly on analysis of KLEE's working, options of modifications realisation, implementation of change in KLEE itself and tesing of the changed version of KLEE on real programs agains the original version …more
Abstract:
Táto práca sa zaoberá rozšírením nástroja pre symbolickú exekúciu KLEE o funkcionalitu nahradzovania symbolických výrazov reálnymi hodnotami, ktorá je prítomná v nástroji DART. Zameriava sa hlavne na analýzu fungovania KLEE, možnosti realizácie úpravy, samotnou implementáciu zmeny v KLEE a odskúšanie modifikovanej verzie KLEE na reálnych programoch oproti originálnej verzii.
 

Keywords

symbolická exekúcia hľadanie chýb testovanie programov náhodné testovanie KLEE DART
 
Language used: Slovak
Date on which the thesis was submitted / produced: 7. 1. 2013
Identifier: https://is.muni.cz/th/xn7xc/

Thesis defence

  • Date of defence: 8. 2. 2013
  • Supervisor: doc. Mgr. Jan Obdržálek, PhD.
  • Reader: Mgr. Jiří Slabý, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Computer Systems

Theses on a related topic

List of theses with an identical keyword.