|
|
A Static Analysis Tool Detecting Bugs in Signal Handlers
Kozovský, Daniel ; Vojnar, Tomáš (referee) ; Peringer, Petr (advisor)
This work is about the plugin csigsafe for the GCC compiler. It uses static code analysis to detect bugs in signal handlers according the POSIX norm. This tool analyzes the source files written in C and C ++. This analyzer is created for the Red Hat, which uses it to test sRPM packages used in their Linux distributions. The tool has been tested on a sample of 37 Open Source projects. Testing has shown the utility of the tool to search for errors associated with violation of rules for proper signal handling.
|
|
|
Library for Profiling and Visualization of Memory Consumption of C/C++ Programs
Podola, Radim ; Peringer, Petr (referee) ; Fiedor, Tomáš (advisor)
Performance is an important and, for some classes of programs, even critical aspect of user experience. The current approaches to performance profiling are, however, far from being satisfactory. The aim of this bachelor's thesis is to extend the current state-of-the-art of profiling and visualization solutions, with novel techniques which can be used for a more efficient search of performance bugs in C/C++ programs and their subsequent interpretation to the end user. Thesis briefly introduces existing tools dealing with similar problems and then proposes a novel solution to collection of profiling data and their illustrative interpretation. The resulting implementation is, moreover, integrated in the Perun --- Performance Control System --- platform for profile versioning. The functionality of the implementation is demonstrated on a series of non-trivial programs.
|
|
|
Grammatical Evolution in Software Optimization
Pečínka, Zdeněk ; Minařík, Miloš (referee) ; Sekanina, Lukáš (advisor)
This master's thesis offers a brief introduction to evolutionary computation. It describes and compares the genetic programming and grammar based genetic programming and their potential use in automatic software repair. It studies possible applications of grammar based genetic programming on automatic software repair. Grammar based genetic programming is then used in design and implementation of a new method for automatic software repair. Experimental evaluation of the implemented automatic repair was performed on set of test programs.
|
|
|
Acoustic Drone Detection Using Microphone Array
Múčka, Milan ; Beran, Vítězslav (referee) ; Szőke, Igor (advisor)
This work deals with methods of acoustic localization for electrical multicopters using a microphone field composed of several microphones at a certain distance. The main methods of localization and detection using sound waves are explained in the paper. Next, the algorithms that implement these methods are designed. The results summarize the results of these algorithms together with experiments to verify their functionality.
|
|
| |
|
|
GIMPLE Model Checker
Krč-Jediný, Ondrej ; Šerý, Ondřej (advisor) ; Hauzar, David (referee)
Title: GIMPLE Model Checker Author: Ondrej Krč-Jediný Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Ondřej Šerý Ph.D. Supervisor's e-mail address: Ondrej.Sery@mff.cuni.cz The goal of the thesis is a prototype implementation of explicit-state model checker of C - an advanced tool for finding errors in programs. This tool ex- plores all possible paths of program execution as well as all thread interleavings. It is based on GIMPLE - output of front-end of GCC compiler, which is the input language for GMC. The thesis is based on the previous work 'Memory represen- tation for GIMPLE Model Checker', that implements work with memory for this tool. Since it is based on GIMPLE, it makes it possible to verify systems directly in C. In addition, it is easily extensible to other languages supported by GCC. Keywords: model checking, GIMPLE, GCC, C 1
|
|
|
Simple C++ Development Environment for Android
Režňák, Pavel ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This bachelor thesis is about creation of an environment for compiling aplications which has been written in C and C++ languages. This development environment is made of an application emulating terminal window and packages containing open-source compilers and optional tools compiled for mobile devices with ARM processors and Android operating system. This process includes generation of cross-compilers for Android system from NDK tools, correct setting of parameters during configuration, fixes of the source codes of these open-source compilers and creation of an application which is installable under Android OS and which will allow us to easily use these tools.
|
|
|
[BOWA] Access Terminal for Fiscal Printer
Nosko, Svetozár ; Šimek, Václav (referee) ; Mičulka, Lukáš (advisor)
The aim of my bachelor's thesis is analysis, design and implementation of an access terminal to the fiscal printer. Project is analyzed in detail and focused on design and implementation of graphical user interface and communication with the fiscal printer.The project was developed on the development board STM3241G-Eval and according to the requirements of the company Bowa s.r.o.
|
|
|
Extension of the Code Listener Infrastructure Adding C++ Support
Kašpar, David ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
V této práci je popisováno rozšíření infrastruktury Code Listener, kterou lze použít pro tvorbu nástrojů pro statickou analýzu programů, o podporu zpracování programovacího jazyka C++. Řešení představuje rozšíření pluginu Code Listener bez nutnosti jakékoliv modifikace v již existujících statických analyzátorech, které jsou na této infrastruktuře postaveny. Výsledkem této práce je přidání podpory pro zpracování základních konstrukcí jazyka C++, jako například jmenných prostorů, L-hodnotových referencí nebo tříd.Přínosem této práce je možnost ji dále použít jako odrazový bod pro implementaci zbývající podpory jazyka C++ pro infrastrukturu Code Listener.
|
|
|
C Compiler for AVR32 Microprocesor
Nagy, Michal ; Husár, Adam (referee) ; Hruška, Tomáš (advisor)
This bachelor's thesis deals with creation of an AVR32 backend for the LLVM compiler framework. The core of this work consists of explaining the way of architecture description in LLVM and of my own implementation of the AVR32 backend. Furthermore, several problems encountered during the implementation are discussed along with their possible solutions. As the result of this work functional backend, with a few constraints discussed in the conclusion chapter, was created.
|
guest ::
