Abstraktní interpretace

Jakub Kermaschek

Bakalářská práce

Abstract Interpretation

Anotace:

Cílem bakalářské práce je vytvořit framework, ve kterém je implementována abstraktní interpretace. Abstraktní interpretace spadá do oblasti statické analýzy programů. Programy, které jsou analyzovány jsou napsané v nově vytvořeném jazyce nazvaném KerLang. Pro příklad jsou zde uvedeny konkrétní typy abstraktních interpretací. V práci je nejprve uvedeno vytvoření samotného programovacího jazyka, skterým tento framework pracuje, včetně vysvětlení syntaxe, gramatiky a~příkladů programů. Kromě těchto základních příkladů se zde věnuji průběhu samotné syntaktické analýzy, vytvoření abstraktního syntaktického stromu a nakonec vytvoření grafu řídícího toku. Další část práce se~soustředí na postup vytvoření frameworku abstraktních interpretací a následných rozborů konkrétních druhů analýz. Všechny tyto části také detailně popisují průběh implementace, samotného rozvržení a architektury kódu.

Abstract:

The goal of this bachelor thesis is to create a framework, in which these abstract interpretations are implemented. Abstract interpretation is part of static analysis of programmes. Programmes, which are analysed are written in new programming language, which is called KerLang. For an example, there are given specific types of the abstract interpretations. In the thesis there is at first stated the creation of the language itself, with which this framework works, including an explanation of a syntax, a grammar and an examples of a programs. In addition to these elementary examples the given part of the thesis is also devoted to a parsing itself, creation of an abstract syntax tree and finaly creation of a flow control graph. The next section of the thesis is focused on creation of a framework of abstract interpretation and subsequent analysis of specific types of analysis. All these sections also describe a detail of implementation, the actual layout and architecture of the code.

Klíčová slova

Statická analýza programů, abstraktní interpretace, živé proměnné, analýza intervalů, syntaktická analýza, .NET framework

Keywords

Static analysis of programmes, abstract interpretation, live variable, analysis of intervals, syntactic analysis, .NET framework

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 7. 5. 2015

Obhajoba závěrečné práce

• Obhajoba proběhla 4. 6. 2015
• Vedoucí: Zdeněk Sawa
• Oponent: Marek Běhálek

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika