Diplomová práce

Symbolic-size Memory Allocation Support for Klee

Bc. Michael Šimáček
Anotace

Cílem práce je navrhnout a implementovat paměťový model pro nástroj symbolické exekuce Klee tak, aby podporoval alokace paměti se symbolickou velikostí. Textová část práce se zabývá popisem moderních technik symbolické exekuce s důrazem na oblast práce s pamětí.

Abstract

The aim of this thesis is to design and implement a memory model for Klee symbolic execution tool which would support allocating memory blocks of symbolic sizes. The textual part summarizes the state-of-the-art of symbolic execution techniques with the emphasis on modeling memory.

Klíčová slova
symbolic execution static analysis verification testing memory Klee
Zadání práce
The student will explore and describe the state of the art in the field of symbolic execution, specifically in the field of symbolic memory management. Based on the findings, they will implement support for the symbolic size allocations in the tool called Klee.
Administrativní informace
Práce zkontrolována:
18. 5. 2018 07:35, Mgr. Jiří Slabý, Ph.D.
Plný text práce
472,9 KB / soubor PDF
Přílohy (4)
Jazyk práce
angličtina angličtina
Termín obhajoby
22. 6. 2018
Práce byla úspěšně obhájena

Vedoucí

Mgr. Jiří Slabý, Ph.D.
KPSK FI MU

Oponent

Mgr. Marek Trtík, Ph.D., učo 329313
KPSK FI MU

Konzultant

RNDr. Marek Chalupa, Ph.D.
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

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

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

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Michael Šimáček FI N-AP AP mdedh/10
Zemanová, J.
7. 5. 2018
Složky
Soubory
Anotace anglicky annotation_english.txt
Šimáček, M.
17. 5. 2018
Anotace česky annotation.txt
Šimáček, M.
16. 5. 2018
Klíčová slova keywords.txt
Šimáček, M.
16. 5. 2018
Plný text práce thesis.pdf
Šimáček, M.
17. 5. 2018
Posudek oponenta posudek_oponenta_Trtik.pdf
Trtík, M.
7. 6. 2018
Posudek vedoucího posudek_vedouciho_Slaby.pdf
Slabý, J.
12. 6. 2018
Příloha klee.box
Šimáček, M.
17. 5. 2018
Příloha klee.zip
Šimáček, M.
17. 5. 2018
Příloha README
Šimáček, M.
17. 5. 2018
Příloha Vagrantfile
Šimáček, M.
17. 5. 2018

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