Analýzy ukazatelů pro Symbiotic

Mgr. Marek Chalupa

Bakalářská práce

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 který ukazatel ukazovat, má zásadní význam k fungování nástroje. Dále byla navržena úprava analýzy tak, aby mohla efektivně analyzovat pole.

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 each pointer can point to, is crucial for the functioning of the tool. Furthermore, the modification of the current analysis so that it could efficiently analyse arrays was introduced.

Klíčová slova

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

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.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Počítačové systémy a zpracování dat