RNDr. František Blahoudek

Bakalářská práce

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

Tools for automated heap analysis
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é …více
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
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor: https://is.muni.cz/th/e8se8/

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

  • Obhajoba proběhla 24. 6. 2009
  • Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: doc. Mgr. Jan Obdržálek, PhD.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce