Bakalářská práce

Dekompilační nástroje založené na LLVM

LLVM-based Decompilation Tools

Vincent Mihalkovič
Anotace

Porovnanie dvoch voľne dostupných dekompilačných nástrojov, založených na LLVM - RetDec a McSema prebehlo prostredníctvom súboru rôznorodých prevažne monofunkčných programov. Hlavným kritériom testovania bola možnosť výstup dekompilátoru preložiť a získať tak sémanticky ekvivalentný program voči pôvodnému. Vzhľadom na toto zvolené kritérium je optimálnym nástrojom McSema.

Abstract

The comparison of two open-source decompilation tools based on LLVM - RetDec and McSema was done using a collection of various, mostly mono-functional programs. The main testing criterion was to translate decompiler output and obtain semantically equivalent program to the original one. Regarding to the aforementioned criterion the best tool is McSema.

Klíčová slova
RetDec McSema LLVM dekompilácia analýza binárnych súborov reverzné inžinierstvo C porovnanie
Zadání práce
Cieľom práce je preskúmať a porovnať dostupné nástroje určené na dekompiláciu strojového kódu na moderných 64b platformách (x86-64, arm64) s dôrazom na ich použiteľnosť pri analýze korektnosti. Študent by mal preskúmať a otestovať minimálne schopnosti nástrojov McSema a RetDec pri použití open-source komponentov. Súčasťou práce je tvorba testovacích programov, prípadne zber existujúcich zložitejších utilít, na ktorých budú dekompilátory porovnané. Súčasťou vyhodnotenia by malo byť použitie explicitného módu verifikačného nástroja DIVINE na dekompilované programy a porovnanie takýchto výsledkov s verifikáciou s použitím zdrojového kódu.
Administrativní informace
Práce zkontrolována:
19. 8. 2019 09:25, RNDr. Petr Ročkai, Ph.D., učo 139761
Plný text práce
935,9 KB / soubor PDF
Přílohy (1)
Jazyk práce
slovenština slovenština
Termín obhajoby
14. 2. 2020
Práce byla úspěšně obhájena

Vedoucí

RNDr. Petr Ročkai, Ph.D., učo 139761
KPSK FI MU

Oponent

Mgr. Lukáš Korenčik
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.