A Common Framework for Inquiries about Program Properties – Bc. Tomáš Brukner
Bc. Tomáš Brukner
Master's thesis
A Common Framework for Inquiries about Program Properties
A Common Framework for Inquiries about Program Properties
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Parallel and Distributed Systems
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č -
Decompiling Binaries into LLVM IR Using McSema and Dyninst
Lukáš Korenčik