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ž …moreAbstract:
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
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.
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
Reduced product of abstract domains
Jan Dupal -
String abstract domains
Matej Šuta -
String Analysis for Software Verification
Martina Olliaro