|
|
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.
|
|
|
Automatic Library Code Detection in PE Executable Files
Mareš, Petr ; Ryšavý, Ondřej (referee) ; Kolář, Dušan (advisor)
Master's thesis describes imported functions detection in PE executables, which are from static libraries. Main reason is process automatization and analysis simplification. Detection is solved by searching prepared patterns with missmatch tolerance. Missmatch are caused by changing address during building application. Resulting application supports compiler detection and it contains patterns for MinGW32, Visual studio 2005 and C++ Builder 6.
|
|
|
Translation of x86 Binary Code To a High-Level Language
Jurík, Marián ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The purpose of this MSc thesis is to create design and implementation of program for translation of x86 binary code to a high-level programming language. There is described PE file format for executables used in MS Windows operating systems in the first part of work. This document contains general information about instruction set IA-32, especially a way of decoding binary code to assembly language. There are described typical program constructions, which are being used in compilers. Design of creation high-level programming language was inspired by existing programming languages. Conclusion is made about advantages and disadvantages of approach used in this thesis.
|
|
| |
|
|
Contact List Management for Android
Kasala, Viliam ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
This bachelor thesis describes the design and implementation of tool that is able to from / to the memory card import, export and synchronize contacts data stored in the native Android program. The tool supports for exporting and importing data Outlook and Thunderbird CSV format. The result of this thesis is application which is compatible from Android version 2.1 and higher.
|
|
|
Desktop Game "Dáma"
Staněk, Ondřej ; Chmelař, Petr (referee) ; Kolář, Dušan (advisor)
This bachelor's thesis implements the draughts desktop game. Application allows to play according to different rules. It supports different ways of possible turns search of the player. One of them is the parallel computation.
|
|
|
Multi-Platform Mobile Applications
Lang, Jiří ; Kolář, Dušan (referee) ; Burget, Radek (advisor)
This thesis describes the development for mobile devices, with a focus on cross platform development. It introduces the most used tools for multiplatform development and their principles. It also deals with design and implementation of mobile application for iOS and Android operating systems. This application serves for management of time spent on various projects and tasks using graphs and statistics. It also provides tools for better management of team projects for small businesses and entrepreneurs.
|
|
|
Fast Queries over Java Language Metadata
Faltýn, Vladimír ; Kolář, Dušan (referee) ; Křivka, Zbyněk (advisor)
The goal of this bachelor thesis is to design and implement a query language over metadata of Java source programs . The metadata is obtained by Procyon decompiler and stored in Titan graph database . To access Titan, TinkerPop framework is used . Then , the designed query language is used to acces the data in the database . The parser for the query language is generated using ANTLR tool .
|
|
|
Advanced Error Recovery during Top-Down Parsing
Obluková, Alena ; Kolář, Dušan (referee) ; Meduna, Alexandr (advisor)
Parser is one of the most important parts in compiler since Syntax-Directed Translation is often used. This approach means that parser controls semantic actions and generation of syntax tree. When the input contains an error, parser cannot continue and the whole compiler has to stop. Therefore, it is important to have parser with error recovery, so when error occurs parser is able to continue. There are several error-recovery strategies and methods. In this paper is described Acceptable-sets derived from continuations specifically continuation in LL parsers. However it is not so well known method it is easy to explain and to implement. It can be used in the lesson to demonstrate error recovery in top-down parser.
|
|
|
Web Administration Interface for Caché
Valena, Pavel ; Kolář, Dušan (referee) ; Burget, Radek (advisor)
The goal of this bachelor’s thesis is to create web administration interface for Caché, where database data is clearly and logically displayed. Enabling user to edit database data, manage users and databases. The thesis describes the design and implementation process of this web interface.
|
guest ::
RSS feed.