A Common Framework for Inquiries about Program Properties – Bc. Tomáš Brukner
Bc. Tomáš Brukner
Diplomová práce
A Common Framework for Inquiries about Program Properties
A Common Framework for Inquiries about Program Properties
Anotace:
Cílem této diplomové práce je demonstrovat nový způsob práce s vlastnostmi programů. Příkladem takových vlastností jsou dosažitelné funkce či definition-use chains proměnných. Pozornost není věnována způsobům, jakým jsou tyto vlastnosti získávány, nýbrž možnostem přístupu k těmto vlastnostem a jejich kombinacím za účelem tvorby nových nástrojů. Společně s popisem různých vlastností je prezentován framework …víceAbstract:
The aim of this thesis is to demonstrate a new way to use program properties. Examples of such properties include reachable functions or variables' definition-use chains. The focus is not on how the properties are gathered, but on how one can access the data and combine them to create new tools. Along with descriptions of various properties, a framework is presented that provides access to the properties …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 11. 1. 2016
Identifikátor:
https://is.muni.cz/th/dug10/
Obhajoba závěrečné práce
- Obhajoba proběhla 15. 2. 2016
- Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: prof. RNDr. Jiří Barnat, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy
Práce na příbuzné téma
-
Integer abstract domains
Tomáš Brukner -
Reduced product of abstract domains
Jan Dupal -
String abstract domains
Matej Šuta -
May-Happen-in-Parallel Analysis for Slicing of Parallel Programs
Jindřich Sedláček -
Slicing of Parallel Programs
Lukáš Tomovič -
Slicing of LLVM Bitcode
Marek Chalupa -
Improved translation of LLVM IR code to C
Vincent Mihalkovič -
Převod LLVM bitkódu do C
Petr Vitovský