|
|
Pending Event Set Implementation
Kozovský, Daniel ; Hrubý, Martin (referee) ; Peringer, Petr (advisor)
This work aims to create a library in C++, which implements various variants of the pending event set, which is used in discrete simulations. The library includes nine different implementations of the pending event set, accessible through a single interface. This interface is designed to make it easy to extend the library with additional implementations. In addition to the library itself, the work also describes the design of the test application and evaluates the time complexity of individual implementations.
|
|
|
A Static Analysis Tool Detecting Bugs in Signal Handlers
Kozovský, Daniel ; Vojnar, Tomáš (referee) ; Peringer, Petr (advisor)
This work is about the plugin csigsafe for the GCC compiler. It uses static code analysis to detect bugs in signal handlers according the POSIX norm. This tool analyzes the source files written in C and C ++. This analyzer is created for the Red Hat, which uses it to test sRPM packages used in their Linux distributions. The tool has been tested on a sample of 37 Open Source projects. Testing has shown the utility of the tool to search for errors associated with violation of rules for proper signal handling.
|
|
|
Pending Event Set Implementation
Kozovský, Daniel ; Hrubý, Martin (referee) ; Peringer, Petr (advisor)
This work aims to create a library in C++, which implements various variants of the pending event set, which is used in discrete simulations. The library includes nine different implementations of the pending event set, accessible through a single interface. This interface is designed to make it easy to extend the library with additional implementations. In addition to the library itself, the work also describes the design of the test application and evaluates the time complexity of individual implementations.
|
|
|
A Static Analysis Tool Detecting Bugs in Signal Handlers
Kozovský, Daniel ; Vojnar, Tomáš (referee) ; Peringer, Petr (advisor)
This work is about the plugin csigsafe for the GCC compiler. It uses static code analysis to detect bugs in signal handlers according the POSIX norm. This tool analyzes the source files written in C and C ++. This analyzer is created for the Red Hat, which uses it to test sRPM packages used in their Linux distributions. The tool has been tested on a sample of 37 Open Source projects. Testing has shown the utility of the tool to search for errors associated with violation of rules for proper signal handling.
|
guest ::
