but.committee	doc. Ing. Richard Růžička, Ph.D., MBA (předseda) doc. RNDr. Jitka Kreslíková, CSc. (místopředseda) doc. RNDr. Dana Hliněná, Ph.D. (člen) Ing. Bohuslav Křena, 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 " A ". Otázky u obhajoby: Jak je složité rozšířit rámec o novou analýzu? Co vše je pro to potřeba provést a jaká je očekávaná časová náročnost pro vývojáře analýzy? Jaké jsou výhody použití rámce oproti např. přímému použití LLVM mezikódu?	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	Vojnar, Tomáš	cs
dc.contributor.author	Kotoun, Michal	cs
dc.contributor.referee	Lengál, Ondřej	cs
dc.date.accessioned	2019-06-14T10:55:26Z
dc.date.available	2019-06-14T10:55:26Z
dc.date.created	2017	cs
dc.description.abstract	Tvorba softwarového analyzátoru je komplexní úloha -- je nutno implementovat parsování zdrojového kódu, reprezentaci instrukcí, abstrakci hodnot, uživatelské rozhraní, ... a také analýzu samu. Abychom předešli zbytečné práci vývojářů analýz, rozhodli jsme se vytvořit framework pro statickou analýzu programů. Předkládáme obecný návrh frameworku zvaného Angie s důrazem na jeho použitelnost a popisujeme prototyp frameworku, včetně modelové analýzy založené na symbolických paměťových grafech. Angie je implementován v C++ a používá nástroje z kolekce LLVM pro parsování zdrojového kódu analyzovaných programů.	cs
dc.description.abstract	Creating a software verification tool is a complex task -- one must implement source code parsing, instruction representation, value abstraction, user interface, ... and the analysis itself. Therefore, we decided to create a static analysis framework to prevent unnecessary wheel reinventing by an analyses implementers. We propose a general design of the framework called Angie with a primary focus on usability, and describe a prototype implementation of the framework, including a model analysis based on symbolic memory graphs. Angie is implemented in C++ and uses the LLVM toolchain as the front-end for parsing the source code of analysed programs.	en
dc.description.mark	A	cs
dc.identifier.citation	KOTOUN, M. Nástroj pro statickou analýzu programů se seznamy [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	114590	cs
dc.identifier.uri	http://hdl.handle.net/11012/84851
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	statická analýza	cs
dc.subject	abstraktní interpretace	cs
dc.subject	formální verifikace	cs
dc.subject	LLVM	cs
dc.subject	SSA	cs
dc.subject	Predator	cs
dc.subject	SMG	cs
dc.subject	symbolické paměťové grafy	cs
dc.subject	framework	cs
dc.subject	Angie	cs
dc.subject	static analysis	en
dc.subject	abstract interpretation	en
dc.subject	formal verification	en
dc.subject	LLVM	en
dc.subject	SSA	en
dc.subject	Predator	en
dc.subject	SMG	en
dc.subject	symbolic memory graphs	en
dc.subject	framework	en
dc.subject	Angie	en
dc.title	Nástroj pro statickou analýzu programů se seznamy	cs
dc.title.alternative	Static Analyzer for List Manipulating Programs	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2017-08-29	cs
dcterms.modified	2020-05-10-16:13:02	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	114590	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.23 01:00:31	en
sync.item.modts	2021.11.23 00:01:33	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

Nástroj pro statickou analýzu programů se seznamy

Files

Original bundle

Collections