but.committee	doc. Ing. Richard Růžička, Ph.D., MBA (předseda) doc. RNDr. Dana Hliněná, Ph.D. (místopředseda) prof. Ing. Adam Herout, Ph.D. (člen) Ing. Bohuslav Křena, Ph.D. (člen) Ing. Zbyněk Křivka, 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ázky 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 D. Otázky u obhajoby: Proč jste v experimentech uvažoval porovnání pouze dvou dvojic verzí jádra Linuxu? Jak by dopadlo srovnání jiných verzí? Mohl byste posoudit, co je důvodem výsledků "Not Equal" v tabulce 6.2 získaných s Vašimi vylepšeními nástroje DiffKemp? Jedná se opravdu o rozdílný kód? Co v kontextu vaši práce znamená prořezávání? Co ve výsledkových tabulkách znamená "Equal" a "Not Equal"? Jak vaše rozšíření mění výsledek?	cs
but.jazyk	angličtina (English)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Malík, Viktor	en
dc.contributor.author	Patrik, Nikolas	en
dc.contributor.referee	Vojnar, Tomáš	en
dc.date.created	2020	cs
dc.description.abstract	Táto práca popisuje návrh a implementáciu nového riešenie pre nástroj DiffKemp na automatické dopredné prerezávanie programov. Po zdĺhavej analýze súčasného riešenia, sme sa rozhodli súčasné riešenie ponechať a rozšíriť ho o zopár vylepšení. Implementovali sme rozšírenie ktoré dovoľuje DiffKempu vykonávať analýzu nad prvkami štrukturovaných typov, pridali sme k súčasnému prerezávaciemu kritériu aj hodnotu premennej a na záver pridali podporu na analýzu parametrov modulov jadra. Po implementovaní týchto vylepšení sme vykonali experimenty ktoré potvrdili zlepšenie analýzi ktorú DiffKemp vykonával.	en
dc.description.abstract	This thesis presents designing new forward slicing solution for the DiffKemp tool. After strenuous analysis of currently implemented solution in DiffKemp for forward slicing we decided to retain current solution and extend it by few enhancements that should improve the analysis provided by DiffKemp in a quite big scope. We have implemented extensions so DiffKemp can perform analysis on fields of structured types which might represent run-time parameters and also we extended slicing criterion with the value of analyzed variable. Also we added support for slicing module kernel parameters. After implementing this solutions, we did experiments which proved that implemented solution has improved the analysis performed by DiffKemp.	cs
dc.description.mark	D	cs
dc.identifier.citation	PATRIK, N. Automatické dopředné prořezávání programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129916	cs
dc.identifier.uri	http://hdl.handle.net/11012/195001
dc.language.iso	en	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	statická analýza	en
dc.subject	DiffKemp	en
dc.subject	dopredné orezávanie programov	en
dc.subject	llvm	en
dc.subject	llvm ir	en
dc.subject	clang	en
dc.subject	static analysis	cs
dc.subject	DiffKemp	cs
dc.subject	forward slicing	cs
dc.subject	llvm	cs
dc.subject	llvm ir	cs
dc.subject	clang	cs
dc.title	Automatické dopředné prořezávání programů	en
dc.title.alternative	Automatic Forward Slicing of Programs	cs
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2020-08-28	cs
dcterms.modified	2020-08-30-19:06:25	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129916	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:33:27	en
sync.item.modts	2025.01.15 22:28:51	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Automatické dopředné prořezávání programů

Files

Original bundle

Collections