Thesis/Dissertation: Bc. Lukáš Korenčik: Decompiling Binaries into LLVM IR Using McSema and Dyninst
Master's thesis
Decompiling Binaries into LLVM IR Using McSema and Dyninst
Abstract
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 …more
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 …more
Thesis description
7/6/2019 01:09, RNDr. Petr Ročkai, Ph.D., UČO 139761
Attachments
Theses on a related topic
List of theses with an identical keyword.
-
LLVM-based Decompilation Tools
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č -
Dynamic Analysis of Concurrent Programs
Bc. Jozef Hoschek -
Java bytecode disassembler
Mgr. Jozef Ceľuch, UČO 359339




