Mgr. Marek Chalupa

Bakalářská práce

Analýzy ukazatelů pro Symbiotic

Pointer Analyses for Symbiotic
Anotace:
Úkolem této práce bylo nastudovat Andersenovu, Steensgaardovu a Shapiro-Horwitz analýzu, stručně je popsat a udělat jejich srovnání. Poslední z vyjmenovaných pak byla implementována do nástroje Symbiotic vyvíjeného na Fakultě informatiky Masarykovy univerzity. Tento nástroj slouží k hledání chyb ve velkých softwarových projektech a detailní informace o struktuře programu, včetně informace, kam může …více
Abstract:
The aim of the thesis is to discuss Andersen, Steensgaard a Shapiro-Horwitz analysis and describe and compare them afterwards. The last one from the abovementioned was implemented into a tool Symbiotic, which is being developed at Faculty of Informatics of Masaryk University. This tool finds bugs in big software projects and detailed information about a structure of program, including information where …více
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 19. 5. 2014

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

  • Obhajoba proběhla 16. 6. 2014
  • Vedoucí: Mgr. Jiří Slabý, Ph.D.
  • Oponent: doc. RNDr. Jan Strejček, Ph.D.

Citační záznam

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