A Common Framework for Inquiries about Program Properties

Bc. Tomáš Brukner

Master's thesis

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, který umožňuje přístup k vlastnostem analyzovaného programu.

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 of an analyzed program.

Keywords

Program analysis, static analysis, abstract interpretation, slicing, program properties, LLVM

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 11. 1. 2016

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.

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Parallel and Distributed Systems