Zpět na vyhledávání

Bc. Matej Šuta

Master's thesis

String abstract domains

String abstract domains
Abstract:
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 …more
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 …more
 

Keywords

static analysis abstract interpretation abstract domain string prefix suffix trie
 
Language used: English
Date on which the thesis was submitted / produced: 27. 5. 2013
Identifier: https://is.muni.cz/th/n8kkg/

Thesis defence

  • Date of defence: 27. 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

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.