Thesis Details

Refactoring and Verification of the Code of mkfs xfs

Master's Thesis Student: Ťulák Jan Academic Year: 2016/2017 Supervisor: Vojnar Tomáš, prof. Ing., Ph.D.
Czech title
Refaktoring a verifikace kódu mkfs xfs
Language
English
Abstract

This work describes the processes of refactoring mkfs.xfs program for a purpose of refining its code and cleaning the technical debt accumulated over 20 years of the program’s existence. The mkfs.xfs source code is then a subject to static analysis and the used tools (CppCheck, Coverity, Codacy, GCC, Clang) are compared in terms of the number and type of the found defects. 

Keywords

XFS, refactoring, formal analysis, formal verification,comparison, Coverity, Codacy, GCC, Clang, CppCheck

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology, Field of Study Mathematical Methods in Information Technology
Files
Status
defended, grade C
Date
19 June 2017
Reviewer
Peringer Petr, Dr. Ing.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kreslíková Jitka, doc. RNDr., CSc. (DIFS FIT BUT), člen
Křivka Zbyněk, Ing., Ph.D. (DIFS FIT BUT), člen
Lucká Mária, prof. RNDr., Ph.D. (FIIT STU), člen
Citation
ŤULÁK, Jan. Refactoring and Verification of the Code of mkfs xfs. Brno, 2017. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-19. Supervised by Vojnar Tomáš. Available from: https://www.fit.vut.cz/study/thesis/18791/
BibTeX 
@mastersthesis{FITMT18791,
    author = "Jan \v{T}ul\'{a}k",
    type = "Master's thesis",
    title = "Refactoring and Verification of the Code of mkfs xfs",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/thesis/18791/"
}

Theses

Back to top