Interprocedurální analýza vztahů mezi hodnotami proměnných programu v modulární aritmetice – Michala Čandová
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íceAbstract:
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
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
Citace dle ISO 690:
ČANDOVÁ, Michala. \textit{Interprocedurální analýza vztahů mezi hodnotami proměnných programu v modulární aritmetice}. Online. Diplomová práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2014. Dostupné z: https://theses.cz/id/arh0xy/.
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 OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyMagisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Automatická detekce chyb v programech
Jaroslav Novotný -
Static analysis of Python code
Jakub Kiska -
Custom Roslyn Tool for Static Code Analysis
Zuzana Dankovčíková -
The Static Analysis and Sensitivity Study of the Car-latch Tensile Strength
Venkatesh Nagarajan Kamaladevi -
Integrating Static Code Analysis and Defect Tracking
Jakub Papcun -
Effectively Combining Static Code Analysis and Manual Code Reviews
Jan Svoboda -
Static Code Analysis Tool for the Apex Programming Language
Belek Omurzakov -
Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts
Ondřej Tatýrek