Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Instrumentation of LLVM IR

Bc. Martina Vitovská
Anotace

Tato práce se zaměřuje na instrumentaci LLVM IR. Popisuje existující nástroje, které používají instrumentaci kódu za účelem jeho analýzy. Dále je implementován a popsán nový nástroj pro instrumentaci LLVM IR, který je možné konfigurovat uživatelem. Navíc může instrumentace v tomto nástroji využívat výsledky různých jiných statických analýz. V rámci práce je také vytvořena konfigurace pro kontrolu zacházaní …více

Abstract

The thesis is focused on instrumentation of LLVM IR. We give an insight into existing tools that instrument a code to perform an analysis on it. Further, we implement and describe a new tool for instrumentation of LLVM IR that is configurable by a user. Moreover, the instrumentation can utilize various static analyses. We create a configuration for checking memory safety and reduce the number of inserted …více

Klíčová slova
instrumentation static analysis program analysis LLVM memory safety
Zadání práce
The first goal of the thesis is to map existing instrumentation tools for LLVM IR bitcode and their respective drawbacks. The main goal is to design and implement a configurable tool for automatic instrumentation of LLVM IR bitcode. The tool should be able to use the results of other program analyzers to reduce the number of code insertions. Further, the student creates a configuration of the instrumentation tool that inserts checks for correct usage of memory operations. The tool and the mentioned configuration will be evaluated on SV-COMP benchmarks of the MemSafety category.
Administrativní informace
Práce zkontrolována:
13. 12. 2017 12:06, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Plný text práce
468,2 KB / soubor PDF
Přílohy (2)
Jazyk práce
angličtina angličtina
Termín obhajoby
1. 2. 2018
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Strejček, Ph.D., učo 3366
ITI KTP FI MU

Oponent

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Konzultant

RNDr. Marek Chalupa, Ph.D.
KPSK FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

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.