Zpět na vyhledávání

Bc. Michael Šimáček

Master's thesis

Symbolic-size Memory Allocation Support for Klee

Symbolic-size Memory Allocation Support for Klee
Abstract:
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.
 

Keywords

symbolic execution static analysis verification testing memory Klee
 
Language used: English
Date on which the thesis was submitted / produced: 17. 5. 2018
Identifier: https://is.muni.cz/th/mdedh/

Thesis defence

  • Date of defence: 22. 6. 2018
  • Supervisor: Mgr. Jiří Slabý, Ph.D.
  • Reader: Mgr. Marek Trtík, 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:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.