Doctoral thesis

Symbolic Execution and Program Loops

Mgr. Marek Trtík, UČO 329313
Abstract

Symbolické vykonávání programů je druh analýzy programů, který lze použít jak pro automatické generování testovacích vstupů, tak i pro přímé hledání defektů v programech. Cílem této analýzy je symbolicky vykonat ty cesty v programu, které lze též vykonat standardním způsobem pro konkrétní vstupy. Počty těchto vykonatelných cest programem jsou typicky astronomicky velké dokonce i pro relativně malé …more

Abstract

Symbolic execution is a program analysis which can be effectively used for automated generation of test inputs and for direct finding of defects in programs. The goal of symbolic execution is to symbolically execute those program paths which can be followed by standard execution for concrete inputs. Number of such executable program paths is typically astronomically large even for relatively small …more

Keywords
Symbolic execution Program loops Program location reachability Symbolic memory.
Administrative information
The thesis has been checked:
1/11/2013 10:02, prof. RNDr. Antonín Kučera, Ph.D., UČO 2508
Full text of thesis
1,1 MB / file PDF
Language used
English English
Defence date
25/3/2014
The thesis was defended successfully

Supervisor

prof. RNDr. Antonín Kučera, Ph.D., UČO 2508
KTP FI MU

Readers

Prof. Daniel Kröning
University of Oxford, UK
Nikolai Tillmann
Microsoft Research, Redmond, USA

Consultant

prof. RNDr. Jan Strejček, Ph.D., UČO 3366
KTP FI MU
Cite this text
Masaryk University Faculty of Informatics
Programme
Informatics (4-years)
Field of Study

Theses on a related topic

List of theses with an identical keyword.

Similar documents

  • Co je jinak přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Co je jinak další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Co je jinak pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Co je nové vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Co je nové rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.