Závěrečná práce: Bc. Lukáš Korenčik: Decompiling Binaries into LLVM IR Using McSema and Dyninst
Diplomová práce
Decompiling Binaries into LLVM IR Using McSema and Dyninst
Anotace
Existuje veľa nástrojov, ktoré pracujú s LLVM bitkódom. Na použitie týchto nájstrov je potrebný buď zdrojový kód (pomocou kompilátoru je možné získať LLVM bitkód) alebo samotný LLVM bitkód. Niekedy však sú k dispozícii len skompilované binárne súbory a neexistuje žiaden dobre definovaný postup ako získať LLVM bitkód z binárky. McSema je nástroj, ktorý prekladá skompilované binárky do LLVM bitkódu …více
Abstract
There are many tools that operate on LLVM bitcode. To use these tools, LLVM bitcode or original source code are required (LLVM bitcode can be obtained from the source code by a compiler). Sometimes however, only already compiled binaries are available - there is no standard and well-defined process to obtain LLVM bitcode from a binary. McSema is a tool that translates binaries into LLVM bitcode; it …více
Zadání práce
7. 6. 2019 01:09, RNDr. Petr Ročkai, Ph.D., učo 139761
Přílohy
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Dekompilační nástroje založené na LLVM
Mgr. Vincent Mihalkovič -
Improved translation of LLVM IR code to C
Mgr. Vincent Mihalkovič -
Caching SMT Queries in SymDivine
RNDr. Jan Mrázek -
Memory-Model-Aware Analysis of Parallel Programs
RNDr. Vladimír Štill, Ph.D., učo 373979 -
Abstraction via Program Transformation
RNDr. Henrich Lauko, Ph.D., učo 410438 -
Slicing of Parallel Programs
Mgr. Lukáš Tomovič -
Preklad Java programov do LLVM pre analyzátor programov Symbiotic
Bc. Miroslav Patlevič -
Dynamic Analysis of Concurrent Programs
Bc. Jozef Hoschek




