Improved translation of LLVM IR code to C – Bc. Vincent Mihalkovič
Bc. Vincent Mihalkovič
Master's thesis
Improved translation of LLVM IR code to C
Improved translation of LLVM IR code to C
Abstract:
Táto práca rozširuje dekompilačný nástroj llvm2c, ktorý konvertuje programy z LLVM IR do jazyka C, o možnosť generovať do-while cykly vo výstupnom programe. Ďalej táto praca rozširuje llvm2c o schopnosť spresňovať typy pomocou ladiacich informácií a automatickú kontrolu zachovávania sémantickej ekvivalencie. Nástroj je vyhodnotení na sade programov z SV-COMP porovnaním s pôvodnou verziu a nástrojom …moreAbstract:
This work extends the llvm2c decompilation tool, which converts LLVM IR programs to C, by adding the ability to generate do-while loops in the output program. It also extends llvm2c with improved type handling using debugging information and automated semantic-equivalence preserving checking. The tool is evaluated by comparing it with the baseline version and the Rellic tool using programs from the …more
Language used: English
Date on which the thesis was submitted / produced: 16. 5. 2023
Identifier:
https://is.muni.cz/th/ps6x5/
Thesis defence
- Date of defence: 19. 6. 2023
- Supervisor: prof. RNDr. Jan Strejček, Ph.D.
- Reader: RNDr. Henrich Lauko
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Theoretical computer science / Principles of programming languages
Theses on a related topic
- No theses on a related topic available.