|
|
Guest House in Brno
Budina, Martin ; jeneš, Rostislav (referee) ; Podroužková, Božena (advisor)
The purpose of this thesis is to present the static design of chosen parts of the supporting structure of Guest House in Brno. Part of the building is located below ground level, therefore the supporting structure is made of monolithic reinforced concrete frames holding the reinforced concrete slab. Above ground level the supporting structure is made of masonry construction with folded ceiling. Drawing documentation is included.
|
|
|
Creation of Sparse Adapter for the Code Listener Infrastructure
Pokorný, Jan ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
Program checking is indisputably important, especially if originating in formal methods. VeriFIT at FIT BUT uses custom Code Listener (CL) infrastructure modularly interconnecting the front-end, typically a code parser adapter, and the back-end, typically an analyser. Our aim is to offer a former as a compact alternative to existing GCC compiler plug-in. This adapter uses linearized code mediated by sparse library for static analysis of programs in C. According to the experiments with one of the main CL analysers, Predator tool and its tests suite, our product - clsp program - is successful successful in roughly 75% of cases in comparison with the GCC plug-in. Further improvements are expected.
|
|
| |
|
|
London Eye
Hušek, Martin ; Hradil, Petr (referee) ; Zídek, Rostislav (advisor)
Performance of static analysis of the London Eye structure is the subject of this diploma thesis. First chapters of the thesis analyses overview of realized structures of the Ferris wheel. The main part of the thesis analyses the London Eye structure itself. Specifically are described response analyses, sensitivity analyses, analyses of ultimate limit state and serviceability, stress analyses, analyses of fatigue stress and lifetime analyses. The thesis describes among static analysis also a design of dynamic vibration absorbers. The results of each analysis are evaluated in the final chapters.
|
|
|
Alias Analysis in C Compiler
Bolvanský, Dávid ; Zachariášová, Marcela (referee) ; Hruška, Tomáš (advisor)
This thesis is dedicated to the problem of alias analysis and possibilities of its improvement in the LLVM framework. The goal of this thesis is to improve the accuracy, which was achieved by extending the existing implementation of Andresen algorithm to be field sensitive. The terms related to alias analysis and algorithms of the alias analysis available in LLVM are explained. These algorithms are compared according to their base idea, features, and limitations. The implementation of the field sensitivity has been tested using compiler test suites. Its impact on program compilation speed and performance has been analyzed. The measured results show an increase in the accuracy of alias analysis in the LLVM framework.
|
|
|
Static analysis of clarified tank structure
Kika, Aleš ; Vlk, Zbyněk (referee) ; Hradil, Petr (advisor)
The aim of bachelor thesis was to perform static analysis of the retention tank. It was created a computational model of the construction in program ANSYS, defined all load cases, and their combinations. At the end of thesis, some components of the tank were designed and evaluated for ultimate limit state and service limit state.
|
|
| |
|
|
Hiding and obfuscation of malware to avoid antivirus detection
Rybár, Matej ; Dzurenda, Petr (referee) ; Casanova-Marqués, Raúl (advisor)
Počas hodnotenia bezpečnosti je pomerne nezvyčajné, aby bol niekto presvedčený, že antivírusový softvér neposkytuje úplnú bezpečnosť. Keď penetračný tester narazí na antivírusový softvér, sú chvíle, kedy musí konať rýchlo. Z týchto a iných dôvodov boli vyvinuté rôzne spôsoby obchádzania antivírusového softvéru. Niektoré z týchto prístupov obsfukácie majú za cieľ uniknúť statickej analýze úpravou a manipuláciou s formátom Portable Executable, čo je štandardizovaný formát spustiteľného súboru Windows. Niekoľko typov malvéru mení formát súboru PE, aby sa zabránilo statickej detekcii antivírusu. Táto práca sa zaoberá formátom súborov PE, detekciou malvéru a statickou detekciou obfukačných techník. Výsledkom tejto práce je scantime crypter Persesutor, ktorý zašifruje vstupný súbor a následne po spustení zašifrovaný súbor dešifruje a načítá v pamäti.
|
|
|
Static analysis of arch bridge structure
Farkasová, Zuzana ; Zídek,, Rostislav (referee) ; Hradil, Petr (advisor)
The main task of the Bachelor´s thesis is to do a static analysis of arch bridge construction with two span and bridge deck hanged on pulled cables. My task was to construct numerical model of bridge construction, to make load solution and to evaluate results. I have learned about ANSYS programme during processing this thesis, especially about its working environment WORKBENCH.
|
|
|
Analysis of malware
Bláha, Michael ; Caha, Tomáš (referee) ; Člupek, Vlastimil (advisor)
The aim of my bachelor thesis is to design a safe environment for the analysis of malicious software. In the theoretical part of the work, I deal with the basic division of computer viruses. Next, I describe two main procedures for malware analysis, namely static and dynamic analysis. I describe why they are used and what tools fall into these categories. I also present my methodology for secure malware analysis. In the practical part of the work, I focus on creating an analytical environment on Windows 10 and Fedora platforms. I use a graphical environment and a command line to create virtual machines. For the analysis of network traffic, I create the so-called "Fake Internet" program with the INetSim program. In the last part of the work, I deal with a sample analysis of selected types of computer viruses. I follow the described methodology. For each analysis, I describe a brief summary and results. At the end of the work, I describe a possible defense against malicious software.
|
guest ::
