Zpět na vyhledávání

Jakub Novák

Bachelor's thesis

Improvements of Memory Management in KLEE

Improvements of Memory Management in KLEE
Abstract:
Klee, nástroj na symbolickú exekúciu, alokuje pamäť v hostiteľskom systéme pre každú globálnu a lokálnu premennú. Práca sa zameriava na prepracovanie alokácie pamäte vo forku nástroja Klee ako súčasti nástroja Symbiotic tak, aby sa pamäť alokovala iba vtedy, keď sa volajú externé funkcie a aby bol Klee schopný spoľahlivo porovnávať ukazovatele nielen ako konkrétne adresy ale aj ako symbolické hodnoty …more
Abstract:
Klee, a symbolic execution tool, allocates memory in the host system for every global and local variable. The thesis focuses on reworking memory allocations in the Symbiotic's fork of Klee so that it only allocates memory when it calls external functions and the ability to soundly compare pointers not only as concrete addresses, but also as symbolic values. The state of the art of LLVM, symbolic execution …more
 

Keywords

static analysis Symbiotic symbolic execution verification testing Klee pointer comparison
 
Language used: English
Date on which the thesis was submitted / produced: 16. 12. 2019
Identifier: https://is.muni.cz/th/eazm0/

Thesis defence

  • Date of defence: 11. 2. 2020
  • Supervisor: Mgr. Marek Chalupa
  • Reader: Mgr. Henrich Lauko

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

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.