Zpět na vyhledávání

Michala Čandová

Diplomová práce

Interprocedurální analýza vztahů mezi hodnotami proměnných programu v modulární aritmetice

Interprocedural Analysis of Relations on Values of Program Variables in Modular Arithmetic
Anotace:
Cílem této diplomové práce je implementace algoritmů navržených v odborném článku Analysis of Modular Arithmetic (Müller-Olm, Seidl), sloužících k výpočtu vztahů mezi hodnotami proměnných. Algoritmy jsou implementovány jako součást aplikace, která provádí interprocedurální analýzu programu napsaného v jazyce navrženém pro potřeby této práce. Výstupem aplikace je soubor obsahující původní program doplněný …více
Abstract:
The aim of this thesis is the implementation of algorithms proposed in article Analysis of Modular Arithmetic (Müller-Olm, Seidl), used to compute relations between values of variables. The algorithms are implemented as a part of the application performing an interprocedural analysis of program written in special language designed for needs of this thesis. The output of this application is a file with …více
 

Klíčová slova

diplomová práce interprocedurální analýza intraprocedurální analýza statická analýza modulární aritmetika modulo množina generátorů afinní relace lineární rovnice

Keywords

thesis interprocedural analysis intraprocedural analysis static analysis modular arithmetic modulo set of generators affine relations linear equations
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2014
Identifikátor: http://hdl.handle.net/10084/103810

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

  • Obhajoba proběhla 9. 6. 2014
  • Vedoucí: Zdeněk Sawa
  • Oponent: Martin Kot

Citační záznam

Citovat tuto práci

Plný text práce

Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita Ostrava

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

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

Seznam prací, které mají shodná klíčová slova.
Všechny práce