Abstraktní interpretace

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.