Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

Program analysis static analysis abstract interpretation slicing program properties LLVM
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.
All theses