Reduced product of abstract domains – Mgr. Jan Dupal
Mgr. Jan Dupal
Bachelor's thesis
Reduced product of abstract domains
Reduced product of abstract domains
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 20. 5. 2013
Identifikátor:
https://is.muni.cz/th/s6orr/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2013
- Vedúci: Mgr. Karel Klíč
- Oponent: Mgr. Jiří Slabý, Ph.D.
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Parallel and Distributed Systems
Práce na příbuzné téma
-
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