Detail práce

Retargetable Analysis of Machine Code

Disertační práce Student: Křoustek Jakub Akademický rok: 2014/2015 Vedoucí: Kolář Dušan, doc. Dr. Ing.
Název česky
Rekonfigurovatelná analýza strojového kódu
Jazyk práce
anglický
Abstrakt

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ů.

Klíčová slova

strojový kód, analýza kódu, reverzní inženýrství, zpětný překladač, ladicí nástroj, simulátor, zpětný assembler, gramatiky s rozptýleným kontextem, Lissom, jazyky pro popis architektur, ISAC, škodlivý kód

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Výpočetní technika a informatika, obor Výpočetní technika a informatika
Soubory
Stav
obhájeno
Obhajoba
13. května 2015
Citace
KŘOUSTEK, Jakub. Retargetable Analysis of Machine Code. Brno, 2014. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-05-13. Vedoucí práce Kolář Dušan. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/482/
BibTeX 
@phdthesis{FITPT482,
    author = "Jakub K\v{r}oustek",
    type = "Diserta\v{c}n\'{i} pr\'{a}ce",
    title = "Retargetable Analysis of Machine Code",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2015,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/482/"
}

Závěrečné práce

Nahoru