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 …moreAbstract:
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
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.
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Computer Systems and Data Processing
Theses on a related topic
-
Analýza vztahu liberálních kategorií ideální demokracie a jejích definic v současné demokratizační praxi OSN, OBSE a EU
Adéla Krupárová -
Analýza vybraných ukazatelů rizika investic
Lukáš William Paruch -
Pražské restaurace oceněné průvodcem Michelin: kvantitativní analýza vybraných ukazatelů
Daniel Veselý -
Analýza vybraných ukazatelů technické analýzy
Marko Antič -
Finanční analýza a analýza konkurenční pozice společnosti AC Sparta Praha fotbal, a.s.
František Dekař -
Analýza ukazatelů výkonové motivace u studentů sportovního gymnázia ve vztahu k věku, pohlaví a sportovnímu zaměření
Jitka Králíková -
Analýza finančního postavení důvěrně známého podniku (interní finanční analýza)
Aneta Drábková -
Finanční analýza společností Bonatrans Group a.s. a Viadrus a.s.
Libor Kellner