|
Towards Static Analysis of Languages with Dynamic Features
Hauzar, David ; Plášil, František (advisor) ; Sinz, Carsten (referee) ; Holík, Lukáš (referee)
Dynamic features of programming languages such as dynamic type system, dynamic method calls, dynamic code execution, and dynamic data structures provide the flexibility which can accelerate the development, but on the other hand they reduce the information that is checked at compile time and thus make programs more error-prone and less efficient. While the problem of lacking compile time checks can be partially addressed by techniques of static analysis, dynamic features pose major challenges for these techniques sacrificing their precision, soundness, and scalability. To tackle this problem, we propose a framework for static analysis that automatically resolves these features and thus allows defining sound and precise static analyses similarly as the analyzed program would not use these functions. To build the framework, we propose a novel heap analysis that models associative arrays and dynamic (prototype) objects. Next, we propose value analysis providing additional information necessary to resolve dynamic features. Finally, we propose a technique that automatically and generically combines value analysis and a heap analysis modeling associative arrays and prototype objects. Powered by TCPDF (www.tcpdf.org)
|
|
Analysis of Mechanical Stress during Short Circuit in an Air-Insulated MV Switchgear
Bártů, Jan ; Bajánek, Tomáš (referee) ; Orságová, Jaroslava (advisor)
This Master thesis is based on problems of force effects of the magnetic field of short-circuit current. Firstly, I analysed the force action of the three phase busbars during the three-pole short circuit. The analysis was performed in the Ansys Maxwell program and I verified the correctness of the analysis by numerical calculation. The second practical part was executed for ABB company. The main task was to analyse the force effects of the short-circuit current in the HV switchgear with focusing on the arms and contact system of the circuit breaker. The simulations of the following configurations were performed in more details: three configurations of the simplified VD4 circuit breaker, two types of VD4 circuit-breaker contact systems and a linear circuit breaker configuration model. The objective was to calculate the forces acting on the current path of the arms and contact system of the VD4 circuit breaker during the three-phase short-circuit and to simulate the effects of forces on these current parts. For modelling of individual assemblies, calculations and simulations I used: SolidWorks 2014, Ansys Maxwell 16.0 and Ansys Workbench 14.5 programs. With SolidWorks 2014 3D CAD software were modelled simplified assemblies of circuit breakers and contact systems. These systems were imported into the Ansys Maxwell software, where the force effects of the magnetic field of the short-circuit current were calculated. In Ansys Workbench programme was simulated the effect of forces on the current circuit breakers. Moreover, the final deformations of the materials (with respect to the mechanical properties of the structure) were plotted. The analysis of force effects of the magnetic field was performed for the specified static short - circuit current value.
|
|
Dynamic analysis of railway bridge
Mojrová, Martina ; Vlk, Zbyněk (referee) ; Nevařil, Aleš (advisor)
The content of work is to determine modal characteristics of bridge construction over the Dyje river near Břeclav. That is done in ANSYS software and AxisVM software. These characteristics are compared with results from dynamic loading test and they are compared between themselves. In thesis is also an assessment of response to static traffic loads because of decision about dynamic analysis necessity. Then there is a simulation of dynamic traffic loads and results of this simulation are compared with results of dynamic analysis which was done by the project. The aim is to do a few static and dynamic tasks and compare results with the real dynamic test and with calculated results and to determinate the effect on certain variables.
|
|
An assessment of a bridge construction on a dynamic load
Součková, Markéta ; Kala, Jiří (referee) ; Salajka, Vlastislav (advisor)
Diploma thesis deas with static and dynamic analysis of a steel arch footbridge. The footbridge structure 3D model was created in program ANSYS 12.1 and afterwards were made static and modal analysis on this computational model. Based on the results of~modal analysis was applied to design of dynamic wind loading on the model according to norms ČSN EN. The effects of this burden has been calculated steady response at resonance from harmonic analysis according to ČSN P EN 1991-2-4. To report according to ČSN EN 1991-1-4 was designed substitute quasistatic forces corresponding loads of wind on the construction and for evaluation was used static analysis.
|
|
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.
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (referee) ; Šlapal, Josef (referee) ; Švéda, Miroslav (advisor)
Práce představuje model a metody analýzy vlasností komunikace v počítačových sítích. Model dosažitelnosti koncových prvků v IP sítích je vytvořen na základě konfigurace a síťové topologie a umožňuje ukázat, že vabraný koncový uzel je dosažitelný v dané síťové konfiguraci a stavu. Prezentovaná práce se skládá ze dvou částí. První část se věnuje modelování sítí, chování směrovaích protokolů a síťové konfiguraci. V rámci modelu sítě byla vytvořena modifikovaná topologická tabulka (MTT), která slouží pro agregaci síťových stavů určených pro následnou analýzu. Pro analýzu byl použit přístup založený na logickém programování, kdy model sítě je převeden do Datalog popisu a vlastnosti jsou ověřovány kladením dotazů nad logickou databází. Přínosy práce spočívají v definici grafu síťových filtrů, modifikované topologické tabulce, redukce stavového prostoru agrgací síťových stavů, modelů aktivního síťového prvku jako filter-transformace komponenty a metoda pro analýzu dosažitelnosti založena na logickém programování a databázích.
|
|
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.
|
|
Administration Building
Luža, Radim ; Šulák, Pavel (referee) ; Jeneš, Rostislav (advisor)
This bachelor’s thesis deals with the static analysis and assessment of reinforced concrete floor slab above the first ground floor of the administrative building. The ceiling structure consists of a monolithic floor slab, locally supported. The Static analysis was carried out using a programme called Scia Engineer 14. The verification of the calculation was done by the same software, but with two perpendicular frames instead of a modeled plate. Subsequently, we could define the limit state of the dimensioning capacity. The investigation of the ultimate limit state was mainly about bending moments and embossing. Further to It was also carried out assessment of the second limit state, so usability. The second limit state investigations was mainly about limitation of cracks. The drawing documentation was based on the static analysis and advice to single limit states, including a lower and upper reinforcer and extrusion.
|
|
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.
|
|
Static Behavioral Malware Detection over LLVM IR
Surovič, Marek ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá metodami pro behaviorální detekci malware, které využívají techniky formální analýzy a verifikace. Základem je odvozování stromových automatů z grafů závislostí systémových volání, které jsou získány pomocí statické analýzy LLVM IR. V rámci práce je implementován prototyp detektoru, který využívá překladačovou infrastrukturu LLVM. Pro experimentální ověření detektoru je použit překladač jazyka C/C++, který je schopen generovat mutace malware za pomoci obfuskujících transformací. Výsledky předběžných experimentů a případná budoucí rozšíření detektoru jsou diskutovány v závěru práce.
|