|
|
A decompiler for Objective-C
Mráček, Jakub ; Yaghob, Jakub (advisor) ; Bednárek, David (referee)
Objective-C is a popular programming language primarily used on the OS X and iOS platforms. We present a practical approach to decompilation of programs written in Objective-C and compiled for the x86 and AArch64 architectures using LLVM. Based on already-known generic reverse engineering techniques and compiler theory, this thesis analyzes new challenges and opportunities that occur in Objective-C binaries. We then offer solutions and algorithms that allow a decompiler to better recognize the high-level structures commonly used in Objective-C source codes. The thesis introduces an implementation of a new decompiler called "Cricket", an interactive GUI application for OS X, which uses the described algorithms and pattern matching methods to reconstruct source code in Objective-C. The decompiler tries to maximize readability of the output and allows user interaction to further modify the generated source code. The implemented software is then evaluated on a popular open-source framework and the results are compared to a competing product. Powered by TCPDF (www.tcpdf.org)
|
|
|
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.
|
|
|
Programmes to Support Small and Medium Enterprises in the Region of South Bohemian
VOBORSKÁ, Eva
Small and medium enterprises play an indispensable and important role in the business environment of the Czech Republic. They create new jobs and generally represent a stabilizing element of the economic system. Support for SMEs is one of the basic priorities of the Czech government. The aim of this thesis is to analyse programmes to support small and medium enterprises in the selected region, assess the current state of the use of SME support programmes, and review the changes proposed in the programming period of 2014 - 2020. The theoretical part of the paper is focused on the definition and development of small and medium enterprises, their importance and characteristics of the related operational programmes. The practical part examines the support of entrepreneurship in the European Union and the Czech Republic. It also focuses on obtaining sources of SME funding and provides assessment of operational programmes and their modifications in the period of 2014-2020. The entrepreneurship support programmes are essential for the dynamics, efficiency and success of the SMEs. The aim of this part of the thesis is to conduct a controlled interview and a survey, and suggest possibilities of using entrepreneurship support programmes in the region.
|
|
|
Analysis of the information system of the selected accounting entity
STANĚK, Milan
The main goal of this bachelor thesis is to describe the information system, its functions, advantages and disadvantages, compare the softwares from the simpliest one to more complicated programmes and rate the information system of selected accounting entity. In the first part I concentrate on the details of the information system, on interaction among technology, data, computer processes and people. In the second part I analyze the differences between various kinds of systems and at the end I measure the information system.
|
guest ::
