Zpět na vyhledávání

Mgr. Jan Dupal

Bachelor's thesis

Reduced product of abstract domains

Reduced product of abstract domains
Abstract:
Abstraktní interpretace, jakož jedna z metod statické analýzy programů, je náchylná na výskyt falešně pozitivních chyb způsobených nepřesnou aproximací hodnot programu. Redukovaný produkt abstraktních domén poskytuje mechanizmus pro vylepšení celkové přesnosti analýzy pomocí zavedení vzájemného zjemňování abstraktních domén. Tato práce poskytuje teoretický základ, návrh a implementaci redukovaného …more
Abstract:
Abstract interpretation, which is an approach to static program analysis, is prone to false positive errors caused by inaccurate approximation of program values. Reduced product of abstract domains provides a mechanism to improve the overall precision of abstract analysis by introducing mutual refinements between abstract domains. This thesis provides theoretical framework, design and implementation …more
 

Keywords

static analysis abstract interpretation abstract domains domain product reduced product LLVM Canal
 
Language used: English
Date on which the thesis was submitted / produced: 20. 5. 2013
Identifier: https://is.muni.cz/th/s6orr/

Thesis defence

  • Date of defence: 20. 6. 2013
  • Supervisor: Mgr. Karel Klíč
  • Reader: Mgr. Jiří Slabý, 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.