Diplomová práce

String abstract domains

Bc. Matej Šuta
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.

Klíčová slova
static analysis abstract interpretation abstract domain string prefix suffix trie
Zadání práce

Canal is a static analysis tool designed to analyze behaviour of application programs written in C. It is based on the theoretical framework of abstract interpretation, with focus on the scalability to large programs and proper handling of real-world source code.

The goal of this thesis is to design and implement abstract domains for strings in the context of Canal.

One of the string abstract domains should approximate strings by their prefix. String is a sequence of characters beginning with a certain sequence of characters and ending with any string. The complementary domain approximating strings by their suffix should also be implemented.

Consider some additional abstract domain which might provide more precise results when tracing file paths in application programs. The implementation should work with null-terminated strings in C.

Administrativní informace
Práce zkontrolována:
27. 5. 2013 18:07, Mgr. Karel Klíč
Plný text práce
500,1 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
27. 6. 2013
Práce byla úspěšně obhájena

Vedoucí

Mgr. Karel Klíč
KPSK FI MU

Oponent

Mgr. Jiří Slabý, Ph.D.
abs FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Matej Šuta FI N-AP AP n8kkg/7
Drštková, E.
12. 3. 2013
Složky
Soubory
Anotace anglicky annotation_english.txt
Šuta, M.
26. 5. 2013
Anotace česky annotation.txt
Šuta, M.
26. 5. 2013
canal canal.zip
Šuta, M.
26. 5. 2013
Klíčová slova keywords.txt
Šuta, M.
26. 5. 2013
Plný text práce thesis.pdf
Šuta, M.
26. 5. 2013
Posudek oponenta posudek_oponenta.pdf
Slabý, J.
14. 6. 2013
Posudek vedoucího posudek_vedouciho.pdf
Klíč, K.
19. 6. 2013

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.