|
|
Static Analysis Using Facebook Infer Focused on Deadlock Detection
Marcin, Vladimír ; Rogalewicz, Adam (referee) ; Vojnar, Tomáš (advisor)
Static analysis has nowadays become one of the most popular ways of catching bugs early in the modern software. However, a frequent problem of static analysers, which are reasonably precise, is their scalability. Moreover, these which are efficient and scale (e.g.: Coverity, KlockWork, etc.) are often proprietary and difficult to openly evaluate or extend. An improvement to this state of practice is brought Facebook Infer, which offers an open-source framework for compositional and incremental static analysis. In this thesis, we present our Low-Level Deadlock Detector (L2D2) extending the capabilities of Infer. Our algorithm fits the compositional analysis, based on a context independent computation of a summary for each function, which results in its high scalability. We have implemented the algorithm and evaluated it on a benchmark consisting of real-life programs derived from the Debian GNU/Linux with in total 11.4 MLOC. While neither sound nor complete, our approach is effective in practice, finding all known deadlocks and giving false alarms in less than 4% of the considered programs only.
|
|
|
Automatic Generation of Test Cases from Data-Flow
Kraut, Daniel ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This thesis deals with automatic generation of test cases on Unit testing level for source codes in C language. In order to achieve automatization are used methods of approach to software as a Data-flow of variables. There is outlined a process of creating tests here as well as a function of CSP solvers which are necessary part of solving this problems. Static code analysis is accessed with LibTooling libraring as part of a compiler front-end project Clang. Output of a developed application are provided here which is automatically generated input values for test cases.
|
|
|
Buckling Analysis of Thermoplastic Pipes
Procházka, Martin ; Kytýr, Jiří (referee) ; Gratza, Roman (advisor)
This thesis deals with buckling analysis of thermoplastic pipes. An experiment was conducted in which the pipes were encumbered in axis. During this experiment, the loading force was monitored and measured at the material stability loss. For these measurements, polyethylene, polypropylene and polyvinylchloride pipes were used. Afterwards, the static and buckling analysis of pipe models were made in the ANSYS programme. The models were created on the basis of the experiment results. The outcomes of the analysis were compared with figures of the theoretical calculations. In the ANSYS programme pipes were strained by external overpressure.
|
|
|
Bridge over the Branná river
Holuša, Adam ; Pěkník, Robin (referee) ; Panáček, Josef (advisor)
Bachelor’s thesis deals with a design of a new bridge construction over Branná river nearby Jindřichov. Bridge is located on road II/369 at kilometer 21,113. Bridge evidence number is 369-020. Thesis includes three studies. First study is post-tensioned slab constructions. Second study is construction made of prefabricated beams T93. Third study is designed with two post-tensioned girders. For next assessment was chosen post-tensioned slab construction 18,14 meters long. Load effect calculation is solved in Scia Engineer 15.3. Software calculation is compared with manual calculation.
|
|
|
Hydraulic and mechanical holding device of front shovel of excavator LB 115
Bělov, Pavel ; Lžičař, Roman (referee) ; Škopán, Miroslav (advisor)
This Diploma thesis solves a quick coupler design for a loader. In introduction of the Diploma thesis are mentioned two potential designes and convenient solutions. Subsequently are outlined two practicable designes of a quick coupler for a original bucket, as a data componant of the second construction design is enclosed basic strength calculation. The ending point of the thesis deals and compare with the force decrease in use of a quick coupler and appraisals achieved ascertainment.
|
|
|
Integration of Static Code Analysis into Issue Tracking System
Jančová, Markéta ; Burget, Radek (referee) ; Kolář, Dušan (advisor)
Statická analýza kódu je jedna z možností, jak zlepšit kvalitu zdrojového kódu. Také napomáhá k odhalení problémů před tím, než způsobí závažné problémy za běhu programu. SonarQube je nástroj, který provádí pravidelné analýzy kódu, při nichž detekuje chyby a následně informuje vývojáře o kvalitě kódu a nalezených problémech. Jira je systém na sledování problémů a chyb, který využívají agilní týmy po celém světě. Integrace statické analýzy do systému na sledování problémů a chyb by měla předcházet nutnosti znovuotevření problému kvůli nevhodnému řešení a také snížit množství chyb, které vznikají z důvodu zavádění nových funkcí. Tato práce zkoumá způsoby integrace SonarQube do Jiry a následně nabízí možnost jejího řešení. Výsledná implementace je otestována, zoptimalizována a jsou poskytnuty návrhy na další vylepšení.
|
|
|
Reinforced arch bridge over the Krupá river
Adler, Filip ; Pěkník, Robin (referee) ; Koláček, Jan (advisor)
This Bachelor thesis deals with the design of new bridge situated in place of an original one in Staré Město pod Sněžníkem. The original bridge is used to transfer the traffic of local road built in category of S7,5 over the Krupá river. Its construction system is designed as an arch with upper deck, with a span of 18m. Loads and construction assessment correspond to Eurocode. Calculations were performed via Scia Engineering software, version 2013.0.
|
|
|
Static Analysis of CodAL Language Source Code
Fajčík, Martin ; Přikryl, Zdeněk (referee) ; Hynek, Jiří (advisor)
The goal of bachelor's thesis is to design and implement extensions devoted to source code static analysis and automatic corrections used in CodAL language editors. This form of analysis is convenient e.g. for the source code semantic checks. The thesis consists of theoretical and practical part. Role of the theoretical part is to overview with extension development related to Eclipse platform, especially with the CodAL language editor, CodAL language itself and to define problems of this language which are suitable to be solved on the static analysis level. Practical part includes specific implementation details of the particular static analysis elements and automatic corrections. These extended CodAL language editors are available in integrated development environment Codasip Studio based first and foremost on the Eclipse platform and project CDT. Codasip Studio has been developed by company Codasip Ltd. in collaboration with Lissom research team.
|
|
|
Material nonlinear solution of structures made of plastics
Weis, Lukáš ; Krejsa,, Martin (referee) ; Králík,, Juraj (referee) ; Kytýr, Jiří (referee) ; Němec, Ivan (advisor)
The presented thesis focuses on static analysis of plastic structures, taking into account nonlinear behaviour of the material depending on the stress. The static analysis is performed using the finite element method. The difference between material linear and material nonlinear approach is illustratively described in the introduction. A shell finite element, which is enhanced by the possibility of further delamination into layers and integration points along its thickness, is suitable to be used for a numerical analysis of a plastic structures. Separate chapters are devoted to the integration of the resulting values over the height of the cross-section. The integration of the material stiffness matrix correctly reflects the emergence of eccentricity. A part of the attention is devoted to the numerical quadrature rules. Next chapter is devoted to material nonlinear models. Two approaches are described: a simpler one, using the isotropic nonlinear elastic model, and more general one, using the orthotropic plastic model. The theoretical description is complemented by the graphic interpretation of the criteria according to the individual authors. A significant portion of this work is devoted to the algorithmization of calculation procedures described in the theoretical chapters. The algorithmization itself is implemented in Fortran language into a dynamic-link library which is part of the software program RFEM 5 which is widely used in engineering practice. A part of the work is a study comparing the performance of the different technologies applicable for the algorithmization of the described issues. The agreement of the theoretical analysis of the material models and subsequent implementation within the RFEM 5 is demonstrated on the example of the bent cantilever. The thermoplastic aboveground tank structure is subject of detailed material linear, and nonlinear analysis respectively. The various approaches are compared on the results of stress, deformation an
|
|
|
Modification of Aluminium Cooler Holder
Malovaný, Daniel ; Ramík, Pavel (referee) ; Svída, David (advisor)
The purpose of this thesis is to overview the basic design solutions of full aluminum radiators. By finite element method to check the first generation of full aluminum low temperature radiator bracket and based on this calculation to modify the design to reduce tension in the critical areas. At the end of this thesis to evaluate the new design.
|
guest ::
