|
|
Lab tasks for dynamic code analysis
Košina, Petr ; Přinosil, Jiří (referee) ; Sysel, Petr (advisor)
The thesis focuses on static and dynamic analysis in software engineering. Static analysis involves examining the source code without executing it, whereas dynamic analysis focuses on executing the code and testing its runtime behavior. The thesis explores various techniques and tools for both types of analysis, including their advantages and limitations. Additionally, the content includes research on the implementation of dynamic code analysis methods across different operating systems. Emphasis is placed on comparing both methods and their application in real-world software environments. Specifically, it provides practical laboratory exercises designed to help students better understand the issues related to dynamic analysis.
|
|
|
Tool for Dynamic Analysis of Web Applications
Píš, Patrik ; Martinásek, Zdeněk (referee) ; Ilgner, Petr (advisor)
This master's thesis presents matters of penetration testing of web applications with the primary focus on the use of dynamic analysis. The thesis analyzes the current state of the art of web application security and focuses on both individual vulnerabilities and the protection mechanisms implemented by web applications. The main objective of the thesis is to design and implement an automated offensive tool that tests the resilience of a~web application to cyber threats. Compared to other available tools and their limitations, the proposed solution enables efficient rate limiting testing while also allowing testing of HTTP headers, cookie attributes, and content security policy directives. To validate its effectiveness in supporting manual penetration testing of web applications, a sandbox environment was created where experimental testing was conducted. The tool was also tested in a real production environment during penetration tests for real clients with positive feedback from professional penetration testers, demonstrating its practicality and usability in web application penetration testing.
|
|
|
Social Network Analysis and Simulations
Vorlová, Pavla ; Král, Jiří (referee) ; Samek, Jan (advisor)
This diploma thesis is focusing on description of processing social network analysis, design and implementation of a model that simulates a particular social network and its analysis. Social networks are modern and very used in this time. They are very good point for exploring. This project deal with static analysis social network, where social network is constructed by graph. We nd out di erent properties of single component and than we establish signi cance of them. Relationships between components are important too for us, because they have a big influence on propagation information in network. Structural properties figure out existence of di fferent communities. We simulate social network with multi-agent systems, they are desirable for represent changes in network. Multi-agent systems have implemented a simulation model that represents a particular social network. His behaviour was analyzed and examinated by chosen methods.
|
|
|
Dynamic Analysis of Selected Firing Mechanisms of Firearms
Mešina, Matej ; Hadaš, Zdeněk (referee) ; Slažanský, Martin (advisor)
This bachelor thesis strives to evaluate the dynamic analysis of firing mechanisms of different types of firearms. In the present research is analyzed the matter of firearms and ammunitions, followed by the description of distribution of firearm mechanisms, as well as the detailed scrutiny of the initiation mechanism. The thesis also marginally explores the testing of primers. The last part of the research documents the possible solutions for the analyzed issues. The practical part of the thesis is devoted to the geometry of firing mechanisms, followed by the description of the physical principles, which are relevant to this matter. Based on the analysis, a theoretical calculation of the initiation energies for all of the analyzed types of firearms is established. Lastly, the calculation of the initiation energy is calculated, and the security in secure firing of the bullet's primer is determined.
|
|
|
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.
|
|
| |
|
|
Multiplatform Linux Sandbox for Analyzing IoT Malware
Uhříček, Daniel ; Burget, Radek (referee) ; Kolář, Dušan (advisor)
Analýza IoT malwaru je problematická zejména pro množství a rozlišnost architektur procesorů používaných IoT zařízeními. Práce shrnuje možnosti statické, dynamické a síťové analýzy Linuxového malwaru a hodnotí existující open source řešení oddělených běhových prostředí pro automatizovanou analýzu. Práce navrhuje modulární, rozšířitelný systém s~jednoduchými možnostmi nasazení, dostupnou API a webovým rozhraním. Výsledná implementace podporuje pět architektur a byla testována na vzorcích IoT malwaru.
|
|
|
Dynamic analysis of oscillations with multiple degrees of freedom
Schulmeister, Jiří ; Houfek, Lubomír (referee) ; Březina, Lukáš (advisor)
This thesis is dealing with analysis of oscillating with multiple degrees of freedom and with example of dynamic behavior of system with two degrees of freedom with different input signals for purposes of dynamic lessons. Conventional method of making equations of motion by Lagrange’s method and their consecutive analysis is inscribed in the work. As example of system with two degrees of freedom is chosen quarter car model. Responses to different input signals are shown for the model. It is made in MATLAB/SIMULINK.
|
|
|
Dynamic Data Race Detection and Self-Healing in Java Programs
Letko, Zdeněk ; Kolář, Dušan (referee) ; Vojnar, Tomáš (advisor)
Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two distinct algorithms for detecting of data races are presented. One of them is a novel algorithm called AtomRace which detects data races as a special case of atomicity violations. The healing is based on suppressing a recurrence of the detected problem and can be performed by introducing an additional synchronization or by legally influencing the Java scheduler. Basically forces certain parts of the code to be executed atomically. The proposed architecture uses bytecode instrumentation to be able to track and influence the execution. The architecture and algorithms were implemented and tested on multiple case studies.
|
|
| |
guest ::
