|
|
Nosná konstrukce zastřešení výrobní haly v Kyjově
Nosková, Nela ; Pilgr, Milan (oponent) ; Šmak, Milan (vedoucí práce)
Bakalářská práce se zabývá návrhem a statickým posouzením hlavních nosných prvků nosné konstrukce zastřešení víceúčelové haly v Kyjově. Hala je navržena jako dřevěná. Loď má půdorys obdélníkového tvaru o rozměrech 17,0 x 40,0 m. Hlavní nosnou konstrukci tvoří sedlový vazník uložený na sloupech. Vazník je příhradový z rostlého dřeva třídy C24. Vaznice jsou z rostlého dřeva třídy C24. Součástí statického výpočtu jsou i posudky jednotlivých prvků na požární odolnost. Statická analýza nosné konstrukce haly byla provedena ve studentské verzi programu SCIA Engineer 2012.
|
|
|
Dynamická analýza železniční mostní konstrukce
Mojrová, Martina ; Vlk, Zbyněk (oponent) ; Nevařil, Aleš (vedoucí práce)
Náplní práce je určení modálních charakteristik konstrukce mostu přes řeku Dyji nedaleko Břeclavi, a to v prostředí softwaru ANSYS a softwaru AxisVM. Tyto charakteristiky jsou porovnány s výsledky dynamické zatěžovací zkoušky, jež byla na mostě provedena, i mezi sebou. V práci je dále posouzena odezva na statické zatížení dopravou v rámci ověřování nutnosti provedení dynamické analýzy. Dále je nasimulováno dynamické zatížení dopravou a výsledky simulace jsou porovnány s výsledky dynamické analýzy provedené v rámci projektu. Cílem práce je provést několik statických a dynamických úloh a jejich výsledky porovnat se skutečným měřením, s výpočtem a porovnat vliv modelu na určité veličiny.
|
|
|
Equivalence-Based Slicing of Programs
Malecová, Tatiana ; Vojnar, Tomáš (oponent) ; Malík, Viktor (vedoucí práce)
The aim of this work is to design a method that simplifies two programs based on the results of analysis of their semantic difference. The goal is to remove as many semantically equivalent parts of the programs as possible. To find these equivalent parts, we apply our own solution to the problem of finding the maximum common induced subgraph. Subsequently, we are able to simplify the programs by using backward static slicing. By applying this simplification, we obtain sliced programs that consist of the differing parts and parts that can affect these differences. The method has been implemented as an extension of the DiffKemp tool, which is a static analyser of semantic differences between different versions of large scale programs. Our experiments on the Linux kernel show that the method is able to produce correct slices very efficiently (the analysis is prolonged only by 3.2%). Moreover, the created slices are much smaller than the original programs, which makes them suitable for further analysis.
|
|
|
Analýza práce s dynamickými datovými strukturami v C programech
Šoková, Veronika ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. Ďalej sa zaoberá návrhom prostredia pre vývoj statických analyzátorov nad clang/LLVM. Prínosom tejto práce je vytvorenie a otestovanie transformačných priechodov zjednodušujúcich LLVM IR medzikód. Ďalším prínosom je optimalizácia parametrov paralelnej nadstavby Predatora opakovaným spúšťaním testov z medzinárodnej súťaže SV-COMP'16, kde táto verzia nástroja Predator získala zlatú medailu v kategórii Heap Data Structures. Posledným prínosom je návrh architektúry samotného verifikačného jadra s ohľadom na SMG doménu.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (oponent) ; Müller, Petr (vedoucí práce)
This thesis engages in detection of undefined behavior in the C language programs. We focus on undefined behavior stemming from incorrect work with sequence points and side effects. We perform a theoretical analysis and put terms like undefined behavior or side effect in context of the paper. Furthermore, we explain dangerousness of the constructs leading to undefined behavior. We propose a method for automated detection of the mentioned kind of undefined behavior. Finally, we design and implement a tool for its automated static detection and show the principles of the tool’s function. While designing the tool, contrary to current solutions, we stress functionality even in cases like accessing the memory via a pointer or from a called function. The thesis contains examples of dangerous constructs, functions of the created tool are demonstrated on some of them.
|
|
|
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í.
|
host ::
RSS.