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
Degree Programme
Information Technology, Field of Study
Mathematical Methods in Information Technology
Files
Status
defended, grade C
Date
19 June 2017
Reviewer
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
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/" }