Integer abstract domains

Mgr. Tomáš Brukner

Bakalářská práce

Anotace:

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ž je framework pro abstraktní interpretaci používající LLVM pro reprezentaci zdrojového kódu programu.

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 LLVM library to represent program’s source code.

Keywords

abstract interpretation, abstract domains, integer abstract domains, Bitfield, Set, Interval, LLVM, Canal

Jazyk práce: angličtina

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

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

• Obhajoba proběhla 20. 6. 2013
• Vedoucí: Mgr. Karel Klíč
• Oponent: Mgr. Marek Trtík, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Paralelní a distribuované systémy