Zpět na vyhledávání

David Hofman

Bakalářská práce

Optimalizace datových struktur pro analýzu ukazatelů v knihovně dg

Optimization of data structures used by pointer analysis in the library dg
Anotace:
V této práci bylo navrženo a důkladně otestováno pět nových reprezentací points-to množin pro analýzu ukazatelů v knihovně dg. Práce obsahuje obecný úvod do analýzy ukazatelů, hlavní myšlenky a implementační detaily navržených reprezentací, dále pak detailní výsledky testování a závěry z nich usouzené.
Abstract:
In this thesis, five new data structures to represent points-to sets used for pointer analysis by dg library were designed. Thesis includes a general introduction to pointer analysis, main ideas and implementational details of the newly designed points-to set representations as well as detailed testing results and their evaluation.
 

Klíčová slova

Statická analýza analýza ukazatelů points-to množiny návrh implementace testování knihovna dg C++.
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 27. 5. 2019
Identifikátor: https://is.muni.cz/th/fo974/

Obhajoba závěrečné práce

  • Obhajoba proběhla 24. 6. 2019
  • Vedoucí: Mgr. Marek Chalupa
  • Oponent: RNDr. Vladimír Štill

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika

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

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