but.jazyk	angličtina (English)
but.program	Výpočetní technika a informatika	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Kolář, Dušan	en
dc.contributor.author	Křoustek, Jakub	en
dc.contributor.referee	Janoušek, Jan	en
dc.contributor.referee	Návrat,, Pavol	en
dc.date.accessioned	2021-11-22T23:18:26Z
dc.date.available	2021-11-22T23:18:26Z
dc.date.created		cs
dc.description.abstract	Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.	en
dc.description.abstract	Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.	cs
dc.description.mark	P	cs
dc.identifier.citation	KŘOUSTEK, J. Rekonfigurovatelná analýza strojového kódu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .	cs
dc.identifier.other	99825	cs
dc.identifier.uri	http://hdl.handle.net/11012/63279
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	machine code	cs
dc.subject	code analysis	cs
dc.subject	reverse engineering	cs
dc.subject	decompiler	cs
dc.subject	debugger	cs
dc.subject	simulator	cs
dc.subject	disassembler	cs
dc.subject	scattered context grammars	cs
dc.subject	Lissom	cs
dc.subject	architecture description languages	cs
dc.subject	ISAC	cs
dc.subject	malware	cs
dc.subject	strojový kód	en
dc.subject	analýza kódu	en
dc.subject	reverzní inženýrství	en
dc.subject	zpětný překladač	en
dc.subject	ladicí nástroj	en
dc.subject	simulátor	en
dc.subject	zpětný assembler	en
dc.subject	gramatiky s rozptýleným kontextem	en
dc.subject	Lissom	en
dc.subject	jazyky pro popis architektur	en
dc.subject	ISAC	en
dc.subject	škodlivý kód	en
dc.title	Rekonfigurovatelná analýza strojového kódu	en
dc.title.alternative	Retargetable Analysis of Machine Code	cs
dc.type	Text	cs
dc.type.driver	doctoralThesis	en
dc.type.evskp	dizertační práce	cs
dcterms.modified	2020-05-10-17:46:43	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	99825	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.23 00:18:26	en
sync.item.modts	2021.11.22 23:46:41	en
thesis.discipline	Výpočetní technika a informatika	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Doktorský	cs
thesis.name	Ph.D.	cs

Rekonfigurovatelná analýza strojového kódu

Files

Original bundle

Collections