|
|
Survey of Code Review Tools
Žember, Martin ; Kofroň, Jan (advisor) ; Jančík, Pavel (referee)
In the present work we study behaviour of tools intended for code review and how they aim at eliminating security vulnerabilities. There is a lot of such tools, but a smaller set of them suffice to effectively improve the security of software. We provide results of empirical testing of these tools on artificial data in order to map vulnerability classes they are able to identify and also on real data in order to test their scalability.
|
|
|
Application for creating guitar songbooks from songs available on the web
Mezera, Matěj ; Kliber, Filip (advisor) ; Kofroň, Jan (referee)
The guitar songbook is a list of song lyrics with chords. Most guitarists create their own songbooks, and the existing programs for guitar songbook creation may not cover most of the features that the user expects from them. In this work we are focusing on design and implementation of a new application for guitar songbook creation. The application differs from others in that it allows you to add songs available on the Internet to the songbook. Songs from websites are added to the songbook using the web scraping technique. Other functions of the application are for example editing existing songs, saving the songbook for later editing or adding your own songs to the songbook. The resulting songbook can be saved in several formats, especially in PDF format.
|
|
|
System for management of chess competitions
Sezemský, Josef ; Kliber, Filip (advisor) ; Kofroň, Jan (referee)
We live in a time when digitalization is taking place in all sectors. Yet for chess tournament organisers and participants, there is no modern software to satisfy their requirements. In this thesis we will analyze the individual steps related to the organization of a chess tournament. At the same time, we will also analyze the programs that are currently used to tackle these difficulties. According to the results of the analysis, we will design and develop a web application that will facilitate the chess tournament for all participants.
|
|
|
Prediction of data-profiling duration
Kaštovský, Ondřej ; Kofroň, Jan (advisor) ; Kliber, Filip (referee)
Today, data quality plays a vital role in strategic planning and corporate decision-making processes. The ability to predict the duration of tasks re- lated to data processing and analysis is crucial for efficient use of resources and optimization of work processes. The goal of this work is to extend the functionality of Ataccama ONE, a data management platform of Ataccama, with a new microservice that allows predicting the duration of data profil- ing jobs. Our solution involves identifying the key data characteristics that affect the duration of these jobs and using these insights to prototype a ma- chine learning model to predict job durations. An important part of the solution is also to detect and process newly executed jobs in the platform in real-time and prepare the microservices for future integration into the plat- form. Emphasis is then placed on the quality of the implementation and the extensibility of the solution to predict other types of jobs.
|
|
|
Loop Analysis for LLVM IR Translation Validation Framework
Kubík, Jakub ; Kofroň, Jan (advisor) ; Parízek, Pavel (referee)
Bugs in compilers can have severe consequences. Apart from traditional methods like testing, one of the ways of keeping compilers correct that gained traction only in recent years is translation validation, a technique ensuring the semantic correctness of optimizations in compilers. Alive2 is an open-source translation validation framework for LLVM that is currently widely used by LLVM developers. In order to make any static analysis tool usable, the frequency of false alarms must be kept to a minimum. Alive2 was designed to have zero false alarms and has been very successful in this endeavor except in the case of certain loops. Our aim in this thesis is to analyze Alive2's loop algorithms in an attempt to find the cause of these false alarms. This was motivated by personal communication with authors of Alive2 who presented the false alarm issue in loops as one of the more challenging and pressing issues in Alive2. We were successful in pinpointing the cause of false alarms and even providing a fix for the issue. Our solution is now a part of the Alive2 framework. Furthermore, we have identified other potential issues in Alive2 which we discuss in the thesis as well.
|
|
|
Application of Genetic Algorithms and Data Mining in Noise-based Testing of Concurrent Software
Šimková, Hana ; Kofroň, Jan (referee) ; Lourenco, Joao (referee) ; Vojnar, Tomáš (advisor)
Tato práce navrhuje zlepšení výkonu testování programů použitím technik dolování z dat a genetických algoritmů při testování paralelních programů. Paralelní programování se v posledních letech stává velmi populárním i přesto, že toto programování je mnohem náročnějsí než jednodušší sekvenční a proto jeho zvýšené používání vede k podstatně vyššímu počtu chyb. Tyto chyby se vyskytují v důsledku chyb v synchronizaci jednotlivých procesů programu. Nalezení takových chyb tradičním způsobem je složité a navíc opakované spouštění těchto testů ve stejném prostředí typicky vede pouze k prohledávání stejných prokládání. V práci se využívá metody vstřikování šumu, která vystresuje program tak, že se mohou objevit některá nová chování. Pro účinnost této metody je nutné zvolit vhodné heuristiky a též i hodnoty jejich parametrů, což není snadné. V práci se využívá metod dolování z dat, genetických algoritmů a jejich kombinace pro nalezení těchto heuristik a hodnot parametrů. V práci je vedle výsledků výzkumu uveden stručný přehled dalších Technik testování paralelních programů.
|
|
| |
|
| |
|
|
Impact of Portugal on the European Union Training Mission in Mozambique
Snopko, Leonard ; Doboš, Bohumil (advisor) ; Kofroň, Jan (referee)
The thesis deals with the European Union Military Training Mission (EUTM) in Mozambique, which has been operational since 2021. The EU built on the foundations of the Portuguese training mission, which started training a few months earlier. Portugal, in particular, is a long- standing partner of its former colony on the African continent, with which it has regularly updated its bilateral Defence Cooperation Framework Programme - 'Programa-Quadro' - since the Carnation Revolution. In response to the insurgency by the militant group Ansar al- Sunna wa Jama'a (ASWJ) in Mozambique's northern region, Cabo Delgado, in October 2017, Portugal explored adding a new sixth cooperation Project with Mozambique to their Framework Programme. It was to support the training and capacity-building of the Mozambique Defence Armed Forces (FADM) for counter-insurgency operations. The formalisation of this project took place in Lisbon in May 2021 with the signing of a new 'Programa-Quadro' by both the Portuguese and Mozambican Ministers of National Defence. Simultaneously, Portuguese officials took the opportunity of the Presidency of the Council of the EU in the first half of 2021 to discuss the implementation of the EUTM Mozambique. It was to build on the Portuguese training mission to strengthen the FADM capabilities...
|
|
|
Jerry - keyboard and mouse sharing application
Klapová, Veronika ; Ježek, Pavel (advisor) ; Kofroň, Jan (referee)
The goal of the thesis is to develop a program that enables the control of multiple computers from a single workstation using a unified set of input devices. The program comprises a control application for Windows OS and a client application compatible with Windows, Linux, and macOS systems. The communication between computers is encrypted. A significant advantage of this software, as opposed to others, lies in its accurate key interpretation, independent of the controlling computer's current state, lay- out, or mapping. It ensures error-free typing of accented characters, operates without compromising system responsiveness, and imposes no limitations on virtual desktop con- figuration. The project encompassed not only program development but also bug analysis within both interface functions and documentation, and message propagation method- ologies within the Windows environment. 1
|
guest ::
