Zpět na vyhledávání

Mgr. Tomáš Brukner

Bachelor's thesis

Integer abstract domains

Integer abstract domains
Abstract:
Abstraktní interpretace je metoda statické analýzy používaná pro zjištění informací o zdrojových kódech programů. Používá domény pro abstrakci hodnot a vykonává program za použití těchto domén. Tato práce se zabývá návrhem tří abstraktních domén pro celá čísla – pole bitů (Bitfield), množiny (Set) a intervalu (Interval). Zároveň je k dispozici implementace těchto domén v kontextu projektu Canal, což …more
Abstract:
Abstract interpretation is static analysis method used to gather information about program’s source code. It uses domains to abstract values and executes the program with regard to these domains. We provide design of three abstract domains for integers – Bitfield, Set and Interval. We also provide implementation of these domains in context of Canal, which is an abstract interpretation framework using …more
 

Keywords

abstract interpretation abstract domains integer abstract domains Bitfield Set Interval LLVM Canal
 
Language used: English
Date on which the thesis was submitted / produced: 20. 5. 2013
Identifier: https://is.muni.cz/th/kasap/

Thesis defence

  • Date of defence: 20. 6. 2013
  • Supervisor: Mgr. Karel Klíč
  • Reader: Mgr. Marek Trtík, 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

Bachelor programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.