Enhancing DiffKemp to Support Generic Projects

Bc. Tomáš Glozar

Bakalářská práce

Anotace:

Práce se zabývá analýzou sémantické ekvivalence verzí projektů pomocí nástroje DiffKemp, konkrétně jeho rozšířením pro podporu jiných projektů než linuxového jádra. Text nejprve prochází architekturu DiffKempu včetně jejího zdůvodnění se zaměřením na části, které bylo nutné rozšířit k dosažení cíle práce. Poté představujeme rozšíření generátoru snapshotů DiffKempu, založené na principu integrace s build systémem daného softwaru, spolu se souvisejícími optimalizacemi. Na konci vyhodnocujeme rozšíření na dvou reálných projektech, přičemž se zaměřujeme zejména na výkon a snadné použití, a krátce probíráme možné budoucí vylepšení a využití.

Abstract:

The thesis deals with the analysis of semantic equivalence of project versions using the DiffKemp tool, specifically with extending it to support projects other than the Linux kernel. The text first goes through the architecture of DiffKemp, including the reasoning for it, with a focus on parts which had to be extended to achieve the goal of the work. Then we present an extension of DiffKemp’s snapshot generator, built on the principle of integrating with the build system of the targeted software, along with related optimizations. At the end, we evaluate the extension on two real-world projects, focusing on performance and ease of use, and briefly discuss possible future improvements and applications.

Keywords

Static analysis, semantic equivalence, statická analýza, sémantická ekvivalence, DiffKemp, Python, Clang, LLVM

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 19. 5. 2022

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

• Obhajoba proběhla 30. 6. 2022
• Vedoucí: RNDr. Adam Rambousek, Ph.D.
• Oponent: Ing. Milan Brož, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika