String abstract domains

Bc. Matej Šuta

Diplomová práce

Anotace:

Cieľom tejto práce je návrh a implementácia abstraktných domén pre reprezentáciu reťazcov v kontexte abstraktnej interpretácie. Abstraktná interpretácia je teoretický framework pre statickú analýzu počítačových programov za použitia aproximácie bez spustenia programu. Táto práca popisuje tri abstraktné domény pre aproximáciu reťazcov pomocou ich prefixu, sufixu a ako dátovú štruktúru trie. Tieto domény sú implementované pre abstraktný interpreter Canal.

Abstract:

The goal of this thesis is to design and implement abstract domains for representing strings in the context of abstract interpretation. Abstract interpretation is a theoretical framework for static analysis of computer programs using approximation without actually executing the program. This thesis describes three string abstract domains approximating strings by their prefix, suffix and as a trie data structure. All of these domains are implemented for Canal abstract interpreter.

Keywords

static analysis, abstract interpretation, abstract domain, string, prefix, suffix, trie

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 27. 5. 2013

Obhajoba závěrečné práce

• Obhajoba proběhla 27. 6. 2013
• Vedoucí: Mgr. Karel Klíč
• Oponent: Mgr. Jiří Slabý, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika