Thesis Details

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

Bachelor's Thesis Student: Fajčík Martin Academic Year: 2014/2015 Supervisor: Hynek Jiří, Ing., Ph.D.
English title
Static Analysis of CodAL Language Source Code
Language
Czech
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.

Keywords

CodAL, CDT, Codasip Studio, Eclipse, grammar, language, syntax, semantics, Lissom, editor, view, static analysis, abstract syntax tree, checker, quick fix

Department
Department of Information Systems FIT BUT
Degree Programme
Information Technology
Status
defended, grade A
Date
17 June 2015
Reviewer
Přikryl Zdeněk, Ing., Ph.D.
Committee
Zemčík Pavel, prof. Dr. Ing. (DCGM FIT BUT), předseda
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), člen
Orság Filip, Ing., Ph.D. (DITS FIT BUT), člen
Szőke Igor, Ing., Ph.D. (DCGM FIT BUT), člen
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Citation
FAJČÍK, Martin. Statická analýza zdrojového kódu jazyka CodAL. Brno, 2015. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-17. Supervised by Hynek Jiří. Available from: https://www.fit.vut.cz/study/thesis/17388/
BibTeX 
@bachelorsthesis{FITBT17388,
    author = "Martin Faj\v{c}\'{i}k",
    type = "Bachelor's thesis",
    title = "Statick\'{a} anal\'{y}za zdrojov\'{e}ho k\'{o}du jazyka CodAL",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17388/"
}

Theses

Back to top