Reduced product of abstract domains

Mgr. Jan Dupal

Bakalářská práce

Anotace:

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 produktu v kontextu projektu Canal, což je nástroj pro abstraktní analýzu zaměřen na škálovatelnost k velkým programům a korektní podporu skutečných zdrojových kódů.

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 of reduced product in context of Canal project - an abstract analysis tool focused on the scalability to large programs and proper handling of real-world source code.

Keywords

static analysis, abstract interpretation, abstract domains, domain product, reduced product, LLVM, Canal

Jazyk práce: angličtina

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
• Vedoucí: Mgr. Karel Klíč
• Oponent: Mgr. Jiří Slabý, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Paralelní a distribuované systémy