Bakalářská práce

Enhancing DiffKemp to Support Generic Projects

Tomáš Glozar, učo 492787
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 …více

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 …více

Klíčová slova
Static analysis semantic equivalence statická analýza sémantická ekvivalence DiffKemp Python Clang LLVM
Zadání práce
Cílem bakalářské práce je rozšíření nástroje DiffKemp, který umožňuje porovnat sémantické rozdíly mezi různými verzemi projektů (původně pro Linux kernel).
  • Úprava analýzy modulu, aby nebylo nutné vždy parsovat kompletní soubor, zejména pokud je soubor analyzován opakovaně.
  • Nový způsob generování snapshotů bez nutnosti přizpůsobit generátor pro různé projekty. Použití generátoru bude demonostrováno na jednom novém projektu.
Administrativní informace
Práce zkontrolována:
30. 5. 2022 08:39, RNDr. Adam Rambousek, Ph.D., učo 60380
Plný text práce
626,4 KB / soubor PDF
Přílohy (2)
Jazyk práce
angličtina angličtina
Termín obhajoby
30. 6. 2022
Práce byla úspěšně obhájena

Vedoucí

RNDr. Adam Rambousek, Ph.D., učo 60380
KSUZD FI MU

Oponent

Ing. Milan Brož, Ph.D., učo 168968
KPSK FI MU

Konzultant

Viktor Malík
Red Hat
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.