|
|
Static analysis of flexibly supported on structures
Šnajdárková, Jana ; Brdečko, Luděk (referee) ; Vlk, Zbyněk (advisor)
This work focuses on comparing the static analysis on the various types of models. It is calculated as manual calculations and in software RFEM. Without use of the software are created simplified beam model on fixed and flexible supports and to them are calculated support reactions, shear forces and bending moments. One part focuses on the calculation of the reduction of bending moments, to achieve more accurate results. In the program are created models of rod and models of space, which are composed of surfaces. There is also created a model of the split rod to form a reduction of the bending moments over the supports. The last model is a beam with two separate chambers, which are fixed to the plate and defined as ribs which cooperates with the plate. Internal forces on all models is then compared.
|
|
| |
|
|
Response analysis of high-rise storage tank to static and dynamic loads
Strnadlová, Kateřina ; Vlk, Zbyněk (referee) ; Nevařil, Aleš (advisor)
This thesis describes the design and construction of water reservoir assessment for static and dynamic loads. The intoduction describes the basic design type sof reservoirs, thein static solution and design conditions. It made a preliminary calculation for determining the thickness of the shell structure and designed structure is then solid using the finite element metod (FEM) in ANSYS. In conclusion, verification of load-carrying capacity, stability and usability according to standard ČSN EN.
|
|
|
The Tool for Assessing the Neatness of Source Code
Jahoda, David ; Smrčka, Aleš (referee) ; Veigend, Petr (advisor)
This work deals with creation of tool that would allow the checking and evaluation of neatness of source codes in the C language. The primary user group are students of Introduction to Programming Systems (IZP). The implementation considers the use of Clang-Tidy tool (extended with custom set of checks) and program that evaluates results of checks based on the input configuration. The created program is capable of scoring source code using 16 checks according to the configuration. These checks detect various beginners errors. Testing of the student projects revealed that the most common error is the use of so-called magic numbers. The program can be deployed in the Introduction to Programming Systems (IZP) course with appropriate student instruction.
|
|
|
Static and dynamic analysis of steel structure
Uherek, Jan ; Martinásek, Josef (referee) ; Vlk, Zbyněk (advisor)
The thesis deals with a description and a static and dynamic analysis for an existing construction of lookout tower. The steel watchtower is located in Město Albrechtice and is made up of two lattice towers connected by a bridge. Main point was to create calculation models for the purpose of dynamic and static analysis, in the software SCIA Engineer 19.1, which is based on the principle of finite element method. Attention was paid to load created by winds according to Eurocode 1 and Eurocode 3, glaze and rime ice load and dynamic coefficient calculation. The thesis also includes an assesment of selected parts of the construction according to Eurocodes.
|
|
|
Static analysis of pedestrian bridge stucture
Holada, Jiří ; Kala, Jiří (referee) ; Hradil, Petr (advisor)
The thesis is focused on a static analysis and compiling a computational model of the suspension bridge for pedestrians and cyclists over the Sázavu river in Zbořený Kostelec vilage. The model is constructed according to the real shape of the structure. The length of the footbridge is 135 m and width 4 m. The calculation and compiling a computational model is processed by program ANSYS free Student Software.
|
|
|
Static Analysis Using Facebook Infer Focused on Performance Analysis
Pavela, Ondřej ; Lengál, Ondřej (referee) ; Rogalewicz, Adam (advisor)
Static analysis has nowadays become one of the most popular ways of catching bugs early in the modern software. However, reasonably precise static analysis tools still often struggle to scale well on large and quickly changing codebases. Efficient static analysers, such as Coverity or Code Sonar, are usually proprietary and difficult to openly evaluate or extend. On the contrary, Facebook Infer offers an open source static analysis framework with the emphasis on compositional, incremental and consequently highly scalable inter-procedural analysis. This thesis presents Looper --- a new performance oriented resource bounds analyser which extends the capabilities of Facebook Infer. We have based our implementation on an existing resource bounds analyser Loopus and evaluated it on two different test suites, showing encouraging results in comparison with the existing Cost analyser developed by the Infer team.
|
|
|
Verification of Pointer Programs Based on Forest Automata
Hruška, Martin ; Rogalewicz, Adam (referee) ; Holík, Lukáš (advisor)
In this work, we focus on improving the forest automata based shape analysis implemented in the Forester tool. This approach represents shapes of the heap using forest automata. Forest automata are based on tree automata and Forester currently has only a simple implementation of tree automata. Our first contribution is replacing this implementation by the general purpose tree automata library VATA, which contains the highly optimized implementations of automata operations. The version of Forester using the VATA library participated in the competition SV-COMP 2015. We further extended the forest automata based verification method with two new techniques - a counterexample analysis and predicate abstraction. The first one allows us to determine whether a found error is a real or spurious one. The results of the counterexample analysis is also used for creating new predicates which are used for the refinement of predicate abstraction. We show that both of these techniques contribute to an improvement over the early approach.
|
|
|
Practical Application of Facebook Infer on Systems Code
Beránek, Tomáš ; Malík, Viktor (referee) ; Vojnar, Tomáš (advisor)
Statická analýza je dnes často využívána ve vývojovém procesu pro hledání defektů v produkovaném softwaru. I když nástroje na statickou analýzu dokáží hledat defekty v softwarech o miliónech řádků kódu, mají také řadu nevýhod. Hlavními nevýhodami jsou náročnost nasazení nástroj na vyvíjený projekt, vysoký počet falešných hlášení a časové i paměťové požadavky. Tato práce se zaměřuje na zmírnění těchto negativních vlastností u nástroje Facebook Infer, zejména pro analýzu Linuxových nástrojů v podobě SRPM balíčků. Pro zjednodušení nasazení byl vytvořen modul pro nástroj csmock, který umožňuje automaticky spouštět statické analyzátory nad balíčky pro CentOS a Fedoru. Pro snížení počtu falešných hlášení byl vytvořen filtr, který filtruje výstup Inferu podle heuristik, které byly navrženy na základě zkušeností získaných kontrolou hlášení z Inferu. Filtr byl také zapojen do modulu pro csmock a otestován na řadě balíčků. Na analyzovaných balíčcích filtr dokázal odstranit 60 % falešných hlášení se ztrátou 2.5 % skutečných defektů. Doba potřebná pro běh analýzy může být zkrácena použitím inkrementální analýzy. U inkrementální analýzy Inferu byly experimentálně zjištěny nedostatky, proto se tato práce věnuje také vytvoření nástavby nad Inferem, která nahrazuje inkrementální analýzu v Inferu.
|
|
|
Static Analysis in the Frama-C Environment Focused on Deadlock Detection
Dacík, Tomáš ; Holík, Lukáš (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá návrhem nového statického analyzátoru pro detekci uváznutí, implementovaného jako plugin platformy Frama-C. Kromě samotného algoritmu pro detekci uváznutí představuje také odlehčené řešení, které umožňuje využít platformu Frama-C pro analýzu vícevláknových programů s využitím analyzátorů Frama-C podporujících pouze sekvenční programy. Výsledky experimentů ukazují, že implementovaný nástroj je schopný analyzovat reálné programy s vysokou přesností. Pro demonstraci další rozšiřitelnosti je představeno experimentální rozšíření umožňující detekovat také časově závislé chyby nad daty.
|
guest ::
