|
|
Shared Memory Objects Library
Dudka, Kamil ; Herout, Adam (referee) ; Španěl, Michal (advisor)
This bachelor's thesis considers problems of IPC (Inter Process Comunication) in modern operating systems. It is concentrated on usage of shared memory as IPC in object-oriented language C++. Thesis includes design and implementation of library, which provides easy end effective usage of shared memory. The library makes possible to share C++ language's objects between processes. Furthermore it creates platform-independent interface for work with shared memory on operating systems Linux and Microsoft Windows. Effectivity of shared memory usage as kind of ICP is evaluated in the conclusion of the thesis.
|
|
|
Creation of Sparse Adapter for the Code Listener Infrastructure
Pokorný, Jan ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
Program checking is indisputably important, especially if originating in formal methods. VeriFIT at FIT BUT uses custom Code Listener (CL) infrastructure modularly interconnecting the front-end, typically a code parser adapter, and the back-end, typically an analyser. Our aim is to offer a former as a compact alternative to existing GCC compiler plug-in. This adapter uses linearized code mediated by sparse library for static analysis of programs in C. According to the experiments with one of the main CL analysers, Predator tool and its tests suite, our product - clsp program - is successful successful in roughly 75% of cases in comparison with the GCC plug-in. Further improvements are expected.
|
|
|
Development of an LLVM Adapter for the Code Listener Infrastructure
Šoková, Veronika ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
This Bachelor's thesis deals with the development of an LLVM adapter for the Code Listener Infrastructure, which simplifies the creation of static analyzers such as the Predator and the Forester. They are developed and used within the group VeriFIT. It describes LLVM compiler system, the internal representation of the code and frontend Clang. Part of this work is the implementation of the adapter. Up to this date, it is able to analyze a limited set of programs in C. It is able to generate CFGs. Some tests for Predator and Forester pass. It is also hinted at future developments.
|
|
|
Extension of FTP Implementation within libcurl
Raiskup, Pavel ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
This work elaborates on the design and implementation of an extension to the multiprotocol network library known as libcurl. The extension focuses on using the FTP protocol as found in libcurl, making it possible to download bundles of files that are specified by a matching pattern extracted directly from a URL. In addition to being readily available to and easily understood by libcurl users, the extension aims to allow efficient communication with FTP servers. Taking into account that libcurl is widely used by applications and other libraries, the main design criterion of this project was to maintain backward compatibility with libcurl. Like libcurl, this extension is also written in the C programming language.
|
|
|
Extension of the Code Listener Infrastructure Adding C++ Support
Kašpar, David ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
V této práci je popisováno rozšíření infrastruktury Code Listener, kterou lze použít pro tvorbu nástrojů pro statickou analýzu programů, o podporu zpracování programovacího jazyka C++. Řešení představuje rozšíření pluginu Code Listener bez nutnosti jakékoliv modifikace v již existujících statických analyzátorech, které jsou na této infrastruktuře postaveny. Výsledkem této práce je přidání podpory pro zpracování základních konstrukcí jazyka C++, jako například jmenných prostorů, L-hodnotových referencí nebo tříd.Přínosem této práce je možnost ji dále použít jako odrazový bod pro implementaci zbývající podpory jazyka C++ pro infrastrukturu Code Listener.
|
|
|
Improvement of Live Variable Analysis Using Points-to Analysis
Raiskup, Pavel ; Rogalewicz, Adam (referee) ; Dudka, Kamil (advisor)
Languages such as C use pointers very heavily. Implementation of operations on dynamically linked structures is, however, quite difficult. This can cause the programmer to make more mistakes than usual. One method for dealing with this situation is to use the static analysis tools. This thesis elaborates on the extension to the Code Listener architecture which is an interface for building static analysis tools. Code Listener is able to construct a call-graph or a control flow graph for a given source code and send it to the analyzing tool. One ability of the architecture is that it can conduct the live variable analysis internally. It detects places in the control flow graph where some subset of variables may be killed. The problem was that every variable for which a pointer address was assigned could not been killed, before. This decision had been made because there was no assurance that the variable could never been used through the pointer. So the goal of this work was to design and incorporate a points-to analysis which is able to exclude some references from the set of considered pointers to improve the live variable analysis.
|
|
| |
|
|
Development of an LLVM Adapter for the Code Listener Infrastructure
Šoková, Veronika ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
This Bachelor's thesis deals with the development of an LLVM adapter for the Code Listener Infrastructure, which simplifies the creation of static analyzers such as the Predator and the Forester. They are developed and used within the group VeriFIT. It describes LLVM compiler system, the internal representation of the code and frontend Clang. Part of this work is the implementation of the adapter. Up to this date, it is able to analyze a limited set of programs in C. It is able to generate CFGs. Some tests for Predator and Forester pass. It is also hinted at future developments.
|
|
|
Extension of the Code Listener Infrastructure Adding C++ Support
Kašpar, David ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
V této práci je popisováno rozšíření infrastruktury Code Listener, kterou lze použít pro tvorbu nástrojů pro statickou analýzu programů, o podporu zpracování programovacího jazyka C++. Řešení představuje rozšíření pluginu Code Listener bez nutnosti jakékoliv modifikace v již existujících statických analyzátorech, které jsou na této infrastruktuře postaveny. Výsledkem této práce je přidání podpory pro zpracování základních konstrukcí jazyka C++, jako například jmenných prostorů, L-hodnotových referencí nebo tříd.Přínosem této práce je možnost ji dále použít jako odrazový bod pro implementaci zbývající podpory jazyka C++ pro infrastrukturu Code Listener.
|
|
|
Shared Memory Objects Library
Dudka, Kamil ; Herout, Adam (referee) ; Španěl, Michal (advisor)
This bachelor's thesis considers problems of IPC (Inter Process Comunication) in modern operating systems. It is concentrated on usage of shared memory as IPC in object-oriented language C++. Thesis includes design and implementation of library, which provides easy end effective usage of shared memory. The library makes possible to share C++ language's objects between processes. Furthermore it creates platform-independent interface for work with shared memory on operating systems Linux and Microsoft Windows. Effectivity of shared memory usage as kind of ICP is evaluated in the conclusion of the thesis.
|
guest ::
