|
|
Použití statické analýzy pro detekci chyb v obsluze signálů
Kozovský, Daniel ; Vojnar, Tomáš (oponent) ; Peringer, Petr (vedoucí práce)
Táto práca sa zaoberá zásuvným modulom csigsafe pre prekladač GCC. Používa statickú analýzu programov na odhalenie chýb v obsluhe signálov podla normy POSIX. Tento nástroj analyzuje zdrojové súbory v jazyku C a C++. Tento analyzátor je vytvorený pre firmu Red Hat, ktorá ho používa na testovanie sRPM balíkov určených do ich Linuxových distribúcii. Nástroj bol testovaný na vzorku 37 projektoch s volne šíriteľnými zdrojmi. Z testovania sa ukázala užitočnosť nástroja pri vyhľadávaní chýb spojených s porušením pravidiel na správnu obsluhu signálov.
|
|
|
Knihovna pro profilování a vizualizaci spotřeby paměti programů C/C++
Podola, Radim ; Peringer, Petr (oponent) ; Fiedor, Tomáš (vedoucí práce)
Chování programu z hlediska výkonu je důležitou, a pro některé třídy programů až kritickou stránkou běhu. Současné přístupy k profilování výkonnosti však nejsou zdaleka dostačující. Cílem této bakalářské práce je rozšířit současný stav profilovacích a vizualizačních řešení novými technikami, které mohou značně usnadnit hledání výkonnostních chyb programů v jazyce C/C++ a jejich následnou interpretaci uživateli. Práce stručně představuje existující nástroje, které se zabývají podobnou problematikou, a následně navrhuje nové řešení pro kolekci profilovacích dat a jejich ilustrativní interpretaci. Výsledná implementace je navíc integrována do platformy Perun --- Performance Control System --- pro správu výkonnostních profilů. Funkčnost implementace je demonstrována na řadě netriviálních programů.
|
|
|
Gramatická evoluce v optimalizaci software
Pečínka, Zdeněk ; Minařík, Miloš (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato diplomová práce nabízí stručný úvod do evolučního počítání. Popisuje a porovnává genetické programování a gramatickou evoluci a jejich možné využití v problematice automatické opravy software. Podrobně studuje možnosti aplikace gramatické evoluce v problému automatické opravy softwaru. Na základě získaných poznatků byla navržena a implementována nová metoda pro automatickou opravu softwaru, založená na gramatické evoluci. Její experimentální ověření proběhlo na řadě testovacích programů.
|
|
|
Akustická detekce dronů pomocí mikrofonního pole
Múčka, Milan ; Beran, Vítězslav (oponent) ; Szőke, Igor (vedoucí práce)
Táto práca sa zaoberá metódami pre akustickú lokalizáciu elektrických multikoptér pomocou mikrofónneho poľa zloženého z niekoľkých mikrofónov v určitej vzdialenosti. V práci sú hlavne vysvetlené metódy lokalizácie a detekcie pomocou zvukového vlnenia. Ďalej sú navrhnuté algoritmy, ktoré tieto metódy implementujú. V závere sú zhrnuté výsledky týchto algoritmov spolu s experimentmi overujúc ich funkčnosť.
|
|
|
Refactoring and Verification of the Code of mkfs xfs
Ťulák, Jan ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
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.
|
|
|
GIMPLE Model Checker
Krč-Jediný, Ondrej ; Šerý, Ondřej (vedoucí práce) ; Hauzar, David (oponent)
Název práce: GIMPLE Model Checker Autor: Ondrej Krč-Jediný Katedra (ústav): Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Ondřej Šerý Ph.D. e-mail vedoucího: Ondrej.Sery@mff.cuni.cz Abstrakt: Cieľom práce je implementácia základných prvkov explicit-state model checkeru pre jazyk C - pokročilého nástroja na hľadanie chýb v programoch. Tento nástroj prehľadáva všetky možné cesty, ktorými môže byť program vykonávaný a zároveň vyskúša všetky možné kombinácie prekladania vlákien. Nástroj je založený na GIMPLE - výstupe front-endu kompilátora GCC, ktorý berie za svoj vstupný jazyk. Práca využíva predchádzajúcu prácu 'Memory representa- tion for GIMPLE Model Checker', ktorá implementuje prácu s pamäťou pre tento nástroj. Tým, že je nástroj vychádza z GIMPLE, umožňuje overovanie systémov priamo v jazyku C, naviac je ľahko rozšíriteľný na iné jazyky podporované GCC. 1
|
|
|
Jednoduché vývojové prostředí pro C++ na platformě Android
Režňák, Pavel ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zabývá vytvořením prostředí pro překlad aplikací psaných v jazycích C a C++. Vývojové prostředí se skládá z aplikace emulující terminál a balíčků obsahujících open-source překladače a pomocné nástroje, přeložené pro mobilní zařízení s ARM procesorem a operačním systémem Android. Tento proces zahrnuje vygenerování křížového překladače pro systém Android z nástrojů NDK, správné nastavení parametrů během konfigurace, opravy zdrojových souborů těchto open-source překladačů a vytvoření aplikace instalovatelné pod OS Android, která umožní snadné použití těchto nástrojů.
|
|
|
[BOWA] Přístupový terminál k fiskální tiskárně
Nosko, Svetozár ; Šimek, Václav (oponent) ; Mičulka, Lukáš (vedoucí práce)
Cílem práce je analýza, návrh a implementace přístupového terminálu k fiskální tiskárně. V prvním kroku je zanalyzován problém a následně se detailně zaměřuje na řešení, návrh a implementaci grafického uživatelského rozhraní a komunikace s fiskální tiskárnou. V oblasti uživatelského rozhraní se práce zaměřuje na strukturu, vlastnosti a návrh menu a vstupních obrazovek. V oblasti komunikace, na návrh a implementaci protokolu, který umožňuje komunikaci s fiskální tiskárnou. Projekt byl vyvíjen na vývojové desce STM3241G-Eval. Práce je vyvíjena podle požadavků firmy Bowa s.r.o.
|
|
|
Extension of the Code Listener Infrastructure Adding C++ Support
Kašpar, David ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
The thesis describes an extension of the Code Listener infrastructure adding support for C++ programming language, where the Code Listener infrastructure itself can be used for building of static analysis tools. The solution represents the extension of the Code Listener plugin without any need to modify the already existing static analysis tools that are based on it. Outcome of this work is added support for processing of basic C++ language construct, like e.g. namespaces, L-value references or classes. Contribution of the work is then represented by the possibility to use this thesis as a stepping-stone for implementing the remaining support of C++ language into the Code Listener infrastructure.
|
|
|
Překladač jazyka C pro mikroprocesor AVR32
Nagy, Michal ; Husár, Adam (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato bakalářská práce se zabývá tvorbou backendu architektury AVR32 pro překladač LLVM. Jádro práce tvoří seznamování se způsobem popisu architektur v LLVM a vlastní implementace backendu AVR32. Dále uvádím několik problémů, na které jsem během implementace narazil, a diskutuji jejich možná řešení. Výsledkem práce je funkční backend s několika omezeními zmíněnými v závěru práce.
|
host ::
RSS.