|
|
Statická analýza Java programů
Vyvial, Pavel ; Hýsek, Jiří (oponent) ; Křena, Bohuslav (vedoucí práce)
Projekt SHADOWS se zabývá vývojem software, který je schopen automaticky opravovat chyby v programech. Po každé opravě je třeba zjistit, zda opravná akce úspěšně odstranila chybu a nezanesla do kódu chybu novou, mnohem závažnější. Ve své bakalářské práci se zabývám právě takovýmto dokazováním korektni opravy kódu v konkurentních systémech. Některé z chyb v konkurentních systémech mohou být opraveny automatickým přidáním synchronizace. Při takovémto opravování chyb je potřeba zkontrolovat zda v uzamykané části neexistuje instrukce monitorenter, která by mohla představovat potenciální nebezpečí uváznutí. Dokazování korektnosti opravy je prováděno za pomocí Control Flow Graph analýzy nad Java byte-kódem. Prototyp k tomuto účelu využívá statickou analýzu zastoupenou nástrojem FindBugs.
|
|
|
Model of a prefabricated footbridge for teaching
Gaidos, Daniel ; Koláček, Jan (oponent) ; Strnad, Jiří (vedoucí práce)
The subject of this thesis was to design a test model of a foot bridge built out of sets of blocks, coupled by prestressing monostrands into one beam. Created model will serve as a test model during the training of machinists on tensioning equipment. Static model for results from load cases was created in Scia Engineering 20.0. Assessment and dimensioning were solved in the MS Excel program. The structure was assessed for the limit state of load-bearing capacity and serviceability. Analysis and calculations are compliant to up-to-date codes and respect the fundamentals of analysis due to limit states.
|
|
|
Automatické srovnávání výstupu statické analýzy na různých verzích programů
Kompová, Radmila ; Müller, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Práce se zabývá vývojem nástrojové podpory pro srovnávání výstupu statické analýzy uplatněné na různé verze zdrojových kódů programů. Součástí je rovněž diskuze tří volně dostupných statických analyzátorů pro jazyk C, z nichž byl pro implementaci práce zvolen Cppcheck. Výstupy analyzátoru získané pro různé verze určitého programu jsou srovnávány na základě kontextu v okolí řádku, na němž byla nalezena chyba. Pro porovnávání dvou kontextů je využit nástroj patch. Chyby jsou po srovnání klasifikovány do tří skupin\,--\, nové, staré a opravené. Součástí práce je rovněž webové rozhraní umožňující přehlednější prezentaci výsledků. Vytvořený nástroj byl úspěšně otestován na třech projektech s otevřenými zdrojovými kódy, konkrétně na jádře Linux, Coreutils a CPython.
|
|
|
Multiplatform Linux Sandbox for Analyzing IoT Malware
Uhříček, Daniel ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Diversity of processor architectures used by IoT devices complicates IoT malware analysis. This thesis summarizes current state of static, dynamic, and network analysis and it evaluates existing open source solutions of sandboxes providing automated analysis. It proposes a design of a modular system that is easy-to-use, has available REST API, and web interface. The implementation supports five processor architectures. It was tested on current IoT malware samples.
|
|
|
Průzkum a hodnocení zděné budovy před modernizací
Stanislav, Štěpán ; Kocáb, Dalibor (oponent) ; Cikrle, Petr (vedoucí práce)
Tato diplomová práce se zabývá průzkumem a hodnocením historické zděné budovy. Jedná se o budovu postavenou ve 20. letech 20. století. Nachází se v areálu Filozofické fakulty Masarykovy univerzity v Brně. V rámci příprav plánované modernizace byl proveden průzkum několika objektů univerzitního komplexu. V této práci se však budeme zabývat pouze budovou označovanou „C“. Budou v ní zpracovány vybrané provedené diagnostické práce. Zjištěné poznatky poté budou sloužit jako podklad pro statické posouzení a následné činnosti spojené s modernizací.
|
|
|
Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti
Harmim, Dominik ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cílem této práce je navrhnout statický analyzátor, který bude sloužit pro detekci porušení atomicity. Navržený analyzátor Atomer je implementován jako modul pro Facebook Infer, což je volně šířený a snadno rozšířitelný nástroj, který umožňuje efektivní modulární a inkrementální analýzu. Analyzátor pracuje na úrovni sekvencí volání funkcí. Navržené řešení je založeno na předpokladu, že sekvence, které jsou zavolány atomicky jednou, by měly být pravděpodobně volány atomicky vždy. Implementovaný analyzátor byl úspěšně ověřen a vyhodnocen jak na malých programech, vytvořených pro testovací účely, tak na veřejně dostupných testovacích programech, které vznikly ze skutečných nízkoúrovňových programů.
|
|
|
Automatická tvorba testovacích případů z datových toků
Kraut, Daniel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.
|
|
|
Návrh mostu na dálnici D48
Holuša, Adam ; Nováček, Jan (oponent) ; Zich, Miloš (vedoucí práce)
Diplomová práce se zabývá návrhem mostu na dálnici D48 na obchvatu města Frýdek – Místek. Celkové rozpětí mostu je 113 m. Byly navrženy 3 studie. Pro podrobný návrh byla vybrána varianta monolitického komorového nosníku o 3 polích. Most je betonován na pevné skruži. Do statické analýzy je zahrnut také vliv výstavby pomocí TDA. Posudek je proveden pomocí programu Scia Engineer 18.0. Konstrukce byla posuzována podle platných EC.
|
|
|
Nástroj pro statickou analýzu programů se seznamy
Kotoun, Michal ; Lengál, Ondřej (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tvorba softwarového analyzátoru je komplexní úloha -- je nutno implementovat parsování zdrojového kódu, reprezentaci instrukcí, abstrakci hodnot, uživatelské rozhraní, ... a také analýzu samu. Abychom předešli zbytečné práci vývojářů analýz, rozhodli jsme se vytvořit framework pro statickou analýzu programů. Předkládáme obecný návrh frameworku zvaného Angie s důrazem na jeho použitelnost a popisujeme prototyp frameworku, včetně modelové analýzy založené na symbolických paměťových grafech. Angie je implementován v C++ a používá nástroje z kolekce LLVM pro parsování zdrojového kódu analyzovaných programů.
|
|
|
Topology optimization of movable, fixed and based plate of electromechanical injection-moulding machine
Kecík, Samuel ; Halabuk, Dávid (oponent) ; Návrat, Tomáš (vedoucí práce)
The master thesis deals with the design of geometry of plates of the injection molding unit using the FEM tool Topological Optimization. The reason for this is to reduce the weight of these components, which is beneficial in the transport and assembly of the injection molding machine. However, the final models of geometry of plates must meet certain requirements in terms of the limit state of deformation, the limit state to the critical value of the equivalent stress. This condition involves both limit state of elasticity and limit state of fatigue. Computational modeling and also Topological Optimization are performed in ANSYS Workbench.
|
host ::
RSS.