Mgr. Tomáš Brukner

Bachelor's thesis

Integer abstract domains

Integer abstract domains
Anotácia:
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ž …viac
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 …viac
 
 
Jazyk práce: English
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
  • Vedúci: Mgr. Karel Klíč
  • Oponent: Mgr. Marek Trtík, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Parallel and Distributed Systems

Práce na příbuzné téma