Bc. Michal Strehovský

Diplomová práce

Statická analýza ukazatelů pro jazyk C

Static pointer analysis for the C language
Abstract:
Pointer variables are often used for direct memory manipulation in imperative programming languages. The possibility of indirect variable value modification introduced by the use of pointers heavily affects the precision of static analysis. A separate pointer analysis is necessary to model the behavior of pointers. The main objective of this thesis is to create an overview of methods used for pointer …více
Abstract:
Premenné ukazovateľového typu sú v imperatívnych programovacích jazykoch často využívané na správu pamäti. Možnosť nepriamej zmeny obsahu premenných pomocou ukazovateľov však významným spôsobom postihuje presnosť statickej analýzy takýchto programov. Na zvýšenie presnosti statickej analýzy je nutná analýza správania ukazovateľov. Cieľom tejto práce je vytvoriť prehľad existujúcich algoritmov na modelovanie …více
 

Klíčová slova

ukazovateľ analýza ukazovateľov analýza aliasov statická analýza jazyk C points-to množina pointer pointer analysis alias alias analysis static analysis C points-to set
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 27. 5. 2010
Identifikátor: https://is.muni.cz/th/l04ea/

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

  • Obhajoba proběhla 30. 6. 2010
  • Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
  • Oponent: Mgr. Marek Trtík, Ph.D.

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