but.committee	doc. Dr. Ing. Dušan Kolář (předseda) doc. Dr. Ing. Otto Fučík (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. RNDr. Milan Češka, Ph.D. (člen) Ing. František Grézl, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázku oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm " B ". Otázky u obhajoby: Výsledky alias analýzy obsahují i kategorie: partial alias responses a must alias responses. Proč se ve výsledcích neuvažují?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Hruška, Tomáš	cs
dc.contributor.author	Bolvanský, Dávid	cs
dc.contributor.referee	Zachariášová, Marcela	cs
dc.date.created	2018	cs
dc.description.abstract	Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť na položky štruktúr. Vysvetlené sú pojmy súvisiace s alias analýzou a je popísaný princíp algoritmov alias analýzy. Predstavený je koncept LLVM frameworku, popísané sú aktuálne implementované algoritmy alias analýzy. Porovnanie týchto algoritmov bolo vykonané z pohľadu ich princípu fungovania, vlastností a obmedzení. Implementácia citlivosti na položky štruktúr bola vyskúšaná na sade programov, ktorými sa testujú prekladače. Bol preskúmaný jej vplyv na rýchlosť prekladu programov a ich výkonnosť. Získané výsledky preukazujú zvýšenie presnosti alias analýzy v LLVM frameworku.	cs
dc.description.abstract	This thesis is dedicated to the problem of alias analysis and possibilities of its improvement in the LLVM framework. The goal of this thesis is to improve the accuracy, which was achieved by extending the existing implementation of Andresen algorithm to be field sensitive. The terms related to alias analysis and algorithms of the alias analysis available in LLVM are explained. These algorithms are compared according to their base idea, features, and limitations. The implementation of the field sensitivity has been tested using compiler test suites. Its impact on program compilation speed and performance has been analyzed. The measured results show an increase in the accuracy of alias analysis in the LLVM framework.	en
dc.description.mark	B	cs
dc.identifier.citation	BOLVANSKÝ, D. Alias analýza v překladači jazyka C [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018.	cs
dc.identifier.other	114578	cs
dc.identifier.uri	http://hdl.handle.net/11012/85036
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	alias analýza	cs
dc.subject	analýza ukazovateľov	cs
dc.subject	optimalizácie	cs
dc.subject	ukazovateľ	cs
dc.subject	štruktúra	cs
dc.subject	položka	cs
dc.subject	statická analýza	cs
dc.subject	LLVM	cs
dc.subject	Clang	cs
dc.subject	alias analysis	en
dc.subject	pointer analysis	en
dc.subject	optimizations	en
dc.subject	pointers	en
dc.subject	structure	en
dc.subject	field	en
dc.subject	static analysis	en
dc.subject	LLVM	en
dc.subject	Clang	en
dc.title	Alias analýza v překladači jazyka C	cs
dc.title.alternative	Alias Analysis in C Compiler	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2018-06-13	cs
dcterms.modified	2020-05-10-16:12:56	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	114578	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:05:00	en
sync.item.modts	2025.01.17 09:53:29	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Alias analýza v překladači jazyka C

Files

Original bundle

Collections