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
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 11. 1. 2016
Identifier:
https://is.muni.cz/th/dug10/
Thesis defence
- Date of defence: 15. 2. 2016
- Supervisor: doc. RNDr. Jan Strejček, Ph.D.
- Reader: prof. RNDr. Jiří Barnat, Ph.D.
Citation record
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
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