Decompilation of Specialized and Advanced Instruction Sets

Název česky

Zpětný překlad specializovaných a pokročilých instrukčních sad

Jazyk práce

anglický

Abstrakt

V dnešnej dobe je proces analýzy nebezpečného softvéru dôležitou súčasťou informačných technológií. Jedna z kľúčových techník je spätný preklad škodlivých binárnych programov. Spätný preklad je komplexný proces, ktorý rieši niekoľko projektov. Projekt RetDec sa zameriava na flexibilný návrh a riešenie spätného prekladača s možnosťou znovupoužiteľnosti. Cieľom tejto práce je zlepšenie spätného prekladu pokročilých inštrukčných sád pre architektúru x86. Bola navrhnutá nová optimalizácia pre FPU registrový zásobník. Bola rozšírená podpora prekladu inštrukčných sád jednotiek FPU a SSE. Nové rozšírenia boli implementované a otestované z hľadiska efektivity a kvality spätného prekladu.

Klíčová slova

prekladače, spätné prekladače, reverzné inžinierstvo, x86, FPU, SSE, RetDec

Ústav

Ústav informačních systémů FIT VUT v Brně

Studijní program

Informační technologie

Soubory

Stav

obhájeno, hodnocení B

Obhajoba

9. července 2020

Oponent

Kolář Dušan, doc. Dr. Ing.

Průběh obhajoby

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

Otázky u obhajoby

Udělal jste test, v kolika případech je nutné sestavit vaši soustavu rovnic, jelikož se jedná o netriviální přenos informací na zásobníku pro desetinná čísla (FPU stack)? Nebo by plně dostačovalo započítat rozdíl, protože přenos se neděje nijak komplikovaně, tj. malá čísla, malé změny, krátkého dosahu?
Je možné mít při analýze i smyčky v grafu toku řízení?

Komise

Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), předseda
Chudý Peter, doc. Ing., Ph.D. MBA (UPGM FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT), člen
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT), člen

Citace

HOLUB, Juraj. Decompilation of Specialized and Advanced Instruction Sets. Brno, 2020. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2020-07-09. Vedoucí práce Křivka Zbyněk. Dostupné z: https://www.fit.vut.cz/study/thesis/23000/

BibTeX

@bachelorsthesis{FITBT23000,
    author = "Juraj Holub",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Decompilation of Specialized and Advanced Instruction Sets",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2020,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/thesis/23000/"
}