Zpět na vyhledávání

Bc. Tomáš Glozar

Bachelor's thesis

Enhancing DiffKemp to Support Generic Projects

Enhancing DiffKemp to Support Generic Projects
Abstract:
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 …more
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 …more
 

Keywords

Static analysis semantic equivalence statická analýza sémantická ekvivalence DiffKemp Python Clang LLVM
 
Language used: English
Date on which the thesis was submitted / produced: 19. 5. 2022
Identifier: https://is.muni.cz/th/rr7dt/

Thesis defence

  • Date of defence: 30. 6. 2022
  • Supervisor: RNDr. Adam Rambousek, Ph.D.
  • Reader: Ing. Milan Brož, Ph.D.

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.