but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. Ing. Jan M. Honzík, CSc. (místopředseda) Ing. František Grézl, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Aleš Smrčka, 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 " A ". Otázky u obhajoby: Diskutujte obtížnost rozšíření analyzátoru Atomer o podporu formálních parametrů funkcí a návratových hodnot.	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	Harmim, Dominik	cs
dc.contributor.referee	Smrčka, Aleš	cs
dc.date.created	2019	cs
dc.description.abstract	Cílem této práce je navrhnout statický analyzátor, který bude sloužit pro detekci porušení atomicity. Navržený analyzátor Atomer je implementován jako modul pro Facebook Infer, což je volně šířený a snadno rozšířitelný nástroj, který umožňuje efektivní modulární a inkrementální analýzu. Analyzátor pracuje na úrovni sekvencí volání funkcí. Navržené řešení je založeno na předpokladu, že sekvence, které jsou zavolány atomicky jednou, by měly být pravděpodobně volány atomicky vždy. Implementovaný analyzátor byl úspěšně ověřen a vyhodnocen jak na malých programech, vytvořených pro testovací účely, tak na veřejně dostupných testovacích programech, které vznikly ze skutečných nízkoúrovňových programů.	cs
dc.description.abstract	The goal of this thesis is to propose a static analyser that detects atomicity violations. The proposed analyser Atomer is implemented as a module of Facebook Infer, which is an open-source and extendable static analysis framework that promotes efficient modular and incremental analysis. The analyser works on the level of sequences of function calls. The proposed solution is based on the assumption that sequences executed atomically once should probably be executed always atomically. The implemented analyser has been successfully verified and evaluated on both smaller programs created for testing purposes as well as publicly available benchmarks derived from real-life low-level programs.	en
dc.description.mark	A	cs
dc.identifier.citation	HARMIM, D. Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	122011	cs
dc.identifier.uri	http://hdl.handle.net/11012/180173
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	analýza programů	cs
dc.subject	abstraktní interpretace	cs
dc.subject	Facebook Infer	cs
dc.subject	porušení atomicity	cs
dc.subject	paralelní programy	cs
dc.subject	kontrakty pro souběžnost	cs
dc.subject	atomické sekvence	cs
dc.subject	atomicita	cs
dc.subject	inkrementální analýza	cs
dc.subject	modulární analýza	cs
dc.subject	kompoziční analýza	cs
dc.subject	interprocedurální analýza	cs
dc.subject	static analysis	en
dc.subject	programs analysis	en
dc.subject	abstract interpretation	en
dc.subject	Facebook Infer	en
dc.subject	atomicity violation	en
dc.subject	concurrent programs	en
dc.subject	contracts for concurrency	en
dc.subject	atomic sequences	en
dc.subject	atomicity	en
dc.subject	incremental analysis	en
dc.subject	modular analysis	en
dc.subject	compositional analysis	en
dc.subject	interprocedural analysis	en
dc.title	Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti	cs
dc.title.alternative	Static Analysis Using Facebook Infer to Find Atomicity Violations	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2019-06-10	cs
dcterms.modified	2019-07-08-13:31:23	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	122011	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:23:57	en
sync.item.modts	2025.01.15 12:52:56	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

Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti

Files

Original bundle

Collections