Improvements of Memory Management in KLEE – Jakub Novák
Jakub Novák
Bachelor's thesis
Improvements of Memory Management in KLEE
Improvements of Memory Management in KLEE
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 16. 12. 2019
Identifikátor:
https://is.muni.cz/th/eazm0/
Obhajoba závěrečné práce
- Obhajoba proběhla 11. 2. 2020
- Vedúci: Mgr. Marek Chalupa
- Oponent: Mgr. Henrich Lauko
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
-
Klee-Based Error Witness Checker
Paulína Ayaziová -
Hudba v obrazech Paula Klee
Kristina Hrabcová -
Paul Klee a jeho výtvarný jazyk
Simona Kodytková -
Symbolic-size Memory Allocation Support for Klee
Michael Šimáček -
Rozšíření nástroje pro symbolickou exekuci KLEE
Peter Hruška -
Program for evaluation of oxygen probe data
Kevin Klee -
Labyrint\nl Autorský projekt inspirovaný myšlenkami a dílem Paula Klee.
Richard TRUHLÁŘ