Symbolic-size Memory Allocation Support for Klee – Bc. Michael Šimáček
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.
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
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Symbolic Loop Bound Analysis
Pavel Čadek -
Improvements of Memory Management in KLEE
Jakub Novák