Original title: Refaktoring a verifikace kódu mkfs xfs
Translated title: Refactoring and Verification of the Code of mkfs xfs
Authors: Ťulák, Jan ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Document type: Master’s theses
Year: 2017
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]
Tato práce popisuje průběh refaktoringu programu mkfs.xfs za účelem zpřehlednění jeho kódu a vyčištění technického dluhu naakumulovaného za dvacet let existence tohoto programu, a následně jeho statickou analýzu. Použité nástroje (CppCheck, Coverity, Codacy, GCC, Clang) jsou srovnány z hlediska počtu i typu nalezených chyb. 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: Clang; Codacy; Coverity; CppCheck; formální analýza; formální verifikace; GCC; refaktoring; Srovnání; XFS; Clang; Codacy; comparison; Coverity; CppCheck; formal analysis; formal verification; GCC; refactoring; XFS

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/69428

Permalink: http://www.nusl.cz/ntk/nusl-363735


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses