Zpět na vyhledávání

Bc. Michal Strehovský

Master's thesis

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 …more
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 …more
 

Keywords

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
 
Language used: Slovak
Date on which the thesis was submitted / produced: 27. 5. 2010
Identifier: https://is.muni.cz/th/l04ea/

Thesis defence

  • Date of defence: 30. 6. 2010
  • Supervisor: doc. Mgr. Jan Obdržálek, PhD.
  • Reader: Mgr. Marek Trtík, Ph.D.

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