Zpět na vyhledávání

Mgr. Marek Chalupa

Bachelor's thesis

Analýzy ukazatelů pro Symbiotic

Pointer Analyses for Symbiotic
Abstract:
Ú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 …more
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 …more
 

Keywords

statická analýza analýza ukazatelů analýza Shapira a Horwitzové Shapiro-Horwitz analýza Steensgaardova analýza Andersenova analýza points-to množina
 
Language used: Czech
Date on which the thesis was submitted / produced: 19. 5. 2014
Identifier: https://is.muni.cz/th/l1sds/

Thesis defence

  • Date of defence: 16. 6. 2014
  • Supervisor: Mgr. Jiří Slabý, Ph.D.
  • Reader: doc. RNDr. Jan Strejček, 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