LLVM IR service for Fedora

Bc. Michal Toman

Diplomová práce

Anotace:

V záujme zlepšenia celkovej kvality operačného systému Fedora sa vývojári rozhodli zapojiť statickú analýzu. Najvhodnejšie nástroje pracujú na základe LLVM IR kódu, ktorý sa implicitne nevytvára, kvôli použitiu prekladača GCC. Táto práca popisuje súbor nástrojov, ktoré sú schopné použiť pri vytváraní balíkov kompilátor Clang, a za jeho pomoci vygenerovať IR kód pre aplikácie a knižnice distribúcie Fedora.

Abstract:

In order to improve the overall quality of Fedora operating system, the developers decided to incorporate static analysis. The most suitable tools are working on top of LLVM IR code, which is not generated by default because of using GCC compiler. This thesis describes the toolchain able to rebuild Fedora packages with Clang compiler and generate IR code for all of its applications and libraries.

Keywords

ABRT Server, build system, Clang, compiler, Fedora, linker, LLVM, static analysis

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 7. 1. 2013

Obhajoba závěrečné práce

• Obhajoba proběhla 8. 2. 2013
• Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
• Oponent: Mgr. Jiří Slabý, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika