Bakalářská práce

Nástroje pro automatickou analýzu dynamicky alokované paměti

Tools for automated heap analysis

František Blahoudek
Anotace

V této bakalářské práci popisuji čtyři nástroje pro automatickou statickou analýzu programů využívajících dynamicky alokovanou paměť. Jedná se o nástroje TVLA, PALE, HAVOC a JAHOB. Práce je zaměřena především na teoretické základy nástrojů. Kromě teoretických principů práce obsahuje i krátké návody na použití popisovaných nástrojů, krátké přehledy historie jejich vývoje, informace o dostupnosti a mé postřehy a zkušenosti získané jejich zkoušením.

Abstract

I describe four tools for automatic static analysis of programs which manipulates dynamically allocated memory in this thesis. Names of the described tools are TVLA, PALE, HAVOC and JAHOB. The thesis focuses on theoretical principles of those tools. It contains a short user manual, history of their development, information about availability and my user experiences for each tool.

Klíčová slova
statická analýza verifikace TVLA PALE JAHOB HAVOC dynamicky alokovaná paměť static analysis verification dynamically allocated memory
Zadání práce
Cílem bakalářské práce je vytvořit přehled automatických nástrojů pro analýzu a verifikaci programů pracujících s dynamicky alokovanou pamětí. Jedná se například o nástroje TVLA, HAVOC, PALE, JAHOB, atd. U každého nástroje by měla být popsána jeho funkcionalita, zmíněny teoretické principy, na kterých je postaven, stádium vývoje, jeho dostupnost a u dostupných nástrojů i stručný návod k obsluze a příklad použití.
Administrativní informace
Práce zkontrolována:
1. 6. 2009 02:53, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Plný text práce
692 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
24. 6. 2009
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Strejček, Ph.D., učo 3366
KTP FI MU

Oponent

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU

Literatura

  • LEV-AMI, Tal a Shmuel SAGIV. TVLA: A System for Implementing Static Analyses. In Static Analysis, 7th International Symposium, SAS 2000, Proceedings. Neuveden: Springer-Verlag, 2000, s. 280-301. ISBN 3-540-67668-6.
  • MÖLLER, Anders a Michael I. SCHWARTZBACH. The Pointer Assertion Logic Engine. ACM sigplan notices. New York: ACM Press, 2001, roč. 36, č. 5, s. 221-230. ISSN 0362-1340.
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 František Blahoudek FI B-AP BcAP e8se8/7
Blahoudek, F.
25. 5. 2009
Složky
Soubory
Anotace anglicky annotation_english.txt
Blahoudek, F.
25. 5. 2009
Anotace česky annotation.txt
Blahoudek, F.
25. 5. 2009
Klíčová slova keywords.txt
Blahoudek, F.
25. 5. 2009
posudek_oponenta.pdf
Obdržálek, J.
17. 6. 2009
Přílohy k práci prilohy.zip
Blahoudek, F.
25. 5. 2009
Text práce bc-print.pdf
Blahoudek, F.
25. 5. 2009

  • 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.