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 …moreAbstract:
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
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.
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
-
Integer abstract domains
Tomáš Brukner -
String abstract domains
Matej Šuta -
String Analysis for Software Verification
Martina Olliaro -
String Analysis for Software Verification
Martina Olliaro -
String Analysis for Software Verification
Martina Olliaro