|
|
Dynamic Analysis Framework for C#/.NET Programs
Čižmárik, Andrej ; Parízek, Pavel (advisor) ; Bulej, Lubomír (referee)
Dynamic analysis is a technique used to analyse the behaviour of programs, which can be utilized when searching for various software errors. Nowadays, there is a trend in software development towards multi-threaded programs that are, undeniably, prone to race conditions. Furthermore, software errors that stem from timing issues and incorrect ordering of operations across individual threads are generally hard to find, since they are by nature non-deterministic. We decided to implement a dynamic analysis framework for C# programs, along with two well-known algorithms capable of detecting and predicting data-races. As a result, we created an extensible and configurable tool, SharpDetect, that supports dynamic analysis of CIL programs created by compilation from C# source code on platforms supported by .NET Core. To demonstrate its practical usefulness, SharpDetect was successfully applied on NetMQ, C# implementation of ZeroMQ, where it found one real software error.
|
|
|
Framework pro tvorbu her typu tower defense
Čižmárik, Andrej ; Gemrot, Jakub (advisor) ; Holan, Tomáš (referee)
Tower Defense is a popular subgenre or real-time strategy, where the player guards an object by building defending towers against raiding enemy units. Current Tower Defense games have, however, closed source code which completely prevents any possibility to extend these games or study their code. Due to this fact the aim of this thesis is to develop a multi-platform framework for development of Tower Defense games together with an illustrative example game created using the framework. Framework supports game objects: towers, units and interactions between them - all scriptable in scripting language LUA. Framework also supports textures, animations, sound effects and game maps created using an available graphical editor. User interface is designed using declarative language XAML. In the result we fulfilled the aim of the thesis - using the created framework users can develop Tower Defense games for platforms Windows and Android.
|
guest ::
