Disertační práce

Symbolic Execution and Program Loops

Mgr. Marek Trtík, učo 329313
Anotace

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é …více

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 …více

Klíčová slova
Symbolic execution Program loops Program location reachability Symbolic memory.
Administrativní informace
Práce zkontrolována:
1. 11. 2013 10:02, prof. RNDr. Antonín Kučera, Ph.D., učo 2508
Plný text práce
1,1 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
25. 3. 2014
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Antonín Kučera, Ph.D., učo 2508
KTP FI MU

Oponenti

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

Konzultant

prof. RNDr. Jan Strejček, Ph.D., učo 3366
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika (čtyřleté)
Obor

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

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

Podobné práce

  • Přidání souboru

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

  • Další operace se soubory

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

  • Pohled pro experty

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

  • Vyhledávání souborů

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

  • 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.