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 …viac
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.
 

Kľúčové slová

symbolická exekúcia hľadanie chýb testovanie programov náhodné testovanie KLEE DART
 
Jazyk práce: Slovak
Datum vytvoření / odevzdání či podání práce: 7. 1. 2013
Identifikátor: https://is.muni.cz/th/xn7xc/

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

  • Obhajoba proběhla 8. 2. 2013
  • Vedúci: doc. Mgr. Jan Obdržálek, PhD.
  • Oponent: Mgr. Jiří Slabý, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Computer Systems

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.