Informační systém Masarykovy univerzity 

Archiv závěrečné práce Michal Strehovský FI N-AP AP

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

magisterský studijní program/obor:
Aplikovaná informatika/Aplikovaná informatika

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

Zobrazit popisek

Bc. Michal Strehovský

Statická analýza ukazatelů pro jazyk C

Static pointer analysis for the C language

Anotace: 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

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

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

Zadání: Statická analýza je jedním z přístupů používaných při automatické verifikaci a hledání chyb v programech. Analýza se provádí na zdrojovém kódu bez jeho spuštění, a její přesnost závisí na schopnosti staticky modelovat změny paměti za běhu programu. V případě jazyka C analýzu komplikuje fakt, že kromě datových struktur uložených na zásobníku či haldě máme k dipozici také ukazatele, které v různých …více

Jazyk práce: slovenština

  • Zadáno/změněno 30. 6. 2010 15:39, Helena Kryštofová
  • Záznam založen 28. 4. 2010 10:01, Eva Drštková
  • Zveřejnit od 27. 5. 2010 09:35, Eva Drštková
  • Práce převzata 27. 5. 2010 09:35, Eva Drštková

Obhajoba diplomové práce

  • Proběhla 30. 6. 2010, práce byla úspěšně obhájena.

Vedoucí:

  • Mgr. Jan Obdržálek, PhD., KTP FI MU

Oponent:

Plný text práce
  • diplomka.pdf diplomka.txt diplomka.pdf (IS automaticky), Mgr. Michal Strehovský (abs FI MU)

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX | Wikipedie

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

Práce zkontrolována: 28. 5. 2010 13:02, Mgr. Jan Obdržálek, PhD.


Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.Tato složka.  Archiv závěrečné práce Michal Strehovský FI N-AP AP /fi_m/Strehovský, M.23.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor annotation_english.txt, 502 B, holý textAnotace anglicky annotation_english.txtStrehovský, M.23.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor annotation.txt, 555 B, holý textAnotace česky annotation.txtStrehovský, M.23.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor diplomka.pdf, 1,4 MB, PDF Soubor diplomka.txt, 96,1 KB, holý textdiplomka.pdfStrehovský, M.23.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor keywords.txt, 180 B, holý textKlíčová slova keywords.txtStrehovský, M.23.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor posudek_oponent.pdf, 59,7 KB, PDF Soubor posudek_oponent.txt, 4,2 KB, holý textposudek_oponent.pdfTrtík, M.14.  6. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Soubor je nepřístupný.posudek_vedouci DP-strehovsky-0610.pdfObdržálek, J.22.  6. 2010
Číst smí:
• kdokoliv přihlášený v ISu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 22. 9. 2017 22:47, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému