but.committee	prof. Dr. Ing. Pavel Zemčík, dr. h. c. (předseda) prof. Ing. Jan M. Honzík, CSc. (místopředseda) Ing. Filip Orság, Ph.D. (člen) Ing. Igor Szőke, Ph.D. (člen) doc. Ing. Zdeněk Vašíček, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázkuoponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A. Otázky u obhajoby: V práci není uvedena paměťová náročnost řešení. Můžete ji uvést?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Hynek, Jiří	cs
dc.contributor.author	Fajčík, Martin	cs
dc.contributor.referee	Přikryl, Zdeněk	cs
dc.date.created	2015	cs
dc.description.abstract	Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ověření sémantické korektnosti zdrojového kódu. Práce se dělí na teoretickou a praktickou část. Teoretická část této práce obsahuje obeznámení se s tvorbou rozšíření pro vývojové prostředí z řad platformy Eclipse, zejména s editorem jazyka CodAL, jazykem CodAL a vytyčením chyb tohoto jazyka vhodných pro zpracování statickou analýzou. Praktická část se zabývá konkrétní implementací prvků statické analýzy zdrojového kódu jazyka CodAL a návrhu jeho automatických oprav. Rozšiřované editory jazyka CodAL jsou dostupné ve vývojovém prostředí Codasip Studio založeném především na platformě Eclipse a projektu CDT. Produkt Codasip Studio je vyvíjený společností Codasip ve spolupráci s výzkumnou skupinou Lissom.	cs
dc.description.abstract	The goal of bachelor's thesis is to design and implement extensions devoted to source code static analysis and automatic corrections used in CodAL language editors. This form of analysis is convenient e.g. for the source code semantic checks. The thesis consists of theoretical and practical part. Role of the theoretical part is to overview with extension development related to Eclipse platform, especially with the CodAL language editor, CodAL language itself and to define problems of this language which are suitable to be solved on the static analysis level. Practical part includes specific implementation details of the particular static analysis elements and automatic corrections. These extended CodAL language editors are available in integrated development environment Codasip Studio based first and foremost on the Eclipse platform and project CDT. Codasip Studio has been developed by company Codasip Ltd. in collaboration with Lissom research team.	en
dc.description.mark	A	cs
dc.identifier.citation	FAJČÍK, M. Statická analýza zdrojového kódu jazyka CodAL [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015.	cs
dc.identifier.other	88639	cs
dc.identifier.uri	http://hdl.handle.net/11012/64125
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	CodAL	cs
dc.subject	CDT	cs
dc.subject	Codasip Studio	cs
dc.subject	Eclipse	cs
dc.subject	gramatika	cs
dc.subject	jazyk	cs
dc.subject	syntaxe	cs
dc.subject	sémantika	cs
dc.subject	Lissom	cs
dc.subject	editor	cs
dc.subject	pohlad	cs
dc.subject	statická analýza	cs
dc.subject	abstraktní syntaktický strom	cs
dc.subject	checker	cs
dc.subject	quick fix	cs
dc.subject	CodAL	en
dc.subject	CDT	en
dc.subject	Codasip Studio	en
dc.subject	Eclipse	en
dc.subject	grammar	en
dc.subject	language	en
dc.subject	syntax	en
dc.subject	semantics	en
dc.subject	Lissom	en
dc.subject	editor	en
dc.subject	view	en
dc.subject	static analysis	en
dc.subject	abstract syntax tree	en
dc.subject	checker	en
dc.subject	quick fix	en
dc.title	Statická analýza zdrojového kódu jazyka CodAL	cs
dc.title.alternative	Static Analysis of CodAL Language Source Code	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2015-06-17	cs
dcterms.modified	2020-05-10-16:12:03	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	88639	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 18:53:15	en
sync.item.modts	2025.01.15 11:44:00	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Statická analýza zdrojového kódu jazyka CodAL

Files

Original bundle

Collections