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 …moreAbstract:
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
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.
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Interprocedurální analýza vztahů mezi hodnotami proměnných programu v modulární aritmetice
Michala Čandová -
Prosodická analýza textu (1C, 2C, 3C, 4C, 5C, 6C, 7C, 8C)
Karolína VOLOŠINOVÁ -
Komparace a vyhodnocení chování tržních subjektů na trzích B2B, B2C, C2B a C2C
Štěpánka Bořková -
Komparace a vyhodnocení chování tržních subjektů na trzích B2B, B2C, C2B a C2C
Pavel Kasal -
Przemiany j\c{e}zykowe ludno\'sci regionu wodzis\l{}awskiego pos\l{}uguj\c{a}cej si\c{e} gwar\c{a} \'sl\c{a}sk\c{a} (na przyk\l{}adzie wsi Olza i Odra)
Joanna DANSZCZYK -
La traduction commentée d'un texte non-littéraire du fran\c{c}ais au tcheque orientée sur la linguistique (traduction d'un extrait du livre "VANDELOISE, Claude (1986), L'Espace en fran\c{c}ais, Paris : Le Seuil.")
Nikola NAJZAROVÁ -
Charakterizace mikrotubuly vázajícího proteinu 2c (MAP2c) s atomovým rozlišením
Kateřina Bendová -
Porovnání knihoven pro tvorbu GUI v C/C++
Jan Bartošek