Academic literature on the topic 'Zpětný překladač'

Mezinárodní statistická klasifikace nemocí a přidružených zdra-votních problémů, dále jen MKN, (v originále International Sta-tistical Classification of Diseases and Related Health Problems) je publikace spravovaná Světovou zdravotnickou organizací (WHO), která kodifikuje systém označování a klasifikace lidských onemocnění, poruch, zdravotních problémů a dalších příznaků, situací či okolností. Původně vznikla publikace v roce 1893 jako Klasifikace příčin úmrtí a jejím cílem bylo umožnit mezinárodní srovnání záznamů o úmrtích. WHO převzala odpovědnost za klasifika-ci roku 1948 a počínaje šestou revizí klasifikace, o níž jednala v roce 1949 konference v Paříži, započala přeměna klasifikace v univerzální seznam diagnóz. Klasifikace se postupně stala vše-strannou pomůckou např. pro řízení zdravotní politiky nebo při vykazování péče zdravotním pojišťovnám a obdobným plateb-ním systémům. 43. plenární zasedání Světového zdravotnické-ho shromáždění WHO se usneslo přijmout MKN ve znění desáté decenální revize s novým názvem „Mezinárodní statistická klasifikace nemocí a přidružených zdravotních problémů“ (MKN-10) s účinností od 1. 1. 1993. V České republice probíhaly přípravy na použití MKN-10 ve spolupráci s řadou odborníků, včetně zástupců českých odborných společností, a klasifikace nabyla platnosti od roku 1994. V roce 2004 vydala WHO druhé aktualizované vydání MKN-10, na jehož základě vznikla druhá aktualizovaná verze českého vydání MKN-10, v roce 2016 pak vydala zatím poslední vydání, ze kterého vychází i aktualizova-ná verze překladu MKN-10 pro rok 2018.Přepracované verze klasifikace vycházejí zhruba s desetile-tou frekvencí a odlišují se číslem uváděným za zkratkou MKN (například MKN-9, MKN-8 apod.). Pro nynější desátou revizi byl schválen aktualizační proces, který prodloužil její platnost da-lece za obvyklých deset let. Od roku 1996 jsou Světovou zdra-votnickou organizací vydávány pravidelné roční aktualizace, přičemž změny s větším dopadem (přidání či zrušení kódu, pře-sun položky apod.) vycházejí jen jednou za tři roky (naposledy v roce 2016). V České republice bylo poslední tištěné vydání MKN-10 publikováno v roce 2008, neobsahovalo však Instrukční příručku, která byla publikována naposledy v roce 1996. Násled-né aktualizace v letech 2012, 2013, 2014 a 2017 byly zveřejněny pouze v elektronické podobě. K 1. 1. 2018 vstoupila v ČR v platnost nová verze MKN-10, ve které došlo k rozsáhlým změnám ve všech třech svazcích. Tato verze obsahuje nejen aktualizace provedené na úrovni WHO v letech 2015–2017, ale také změny aplikované Ústavem zdra-votnických informací a statistiky ČR (ÚZIS ČR). Vzhledem k tomu, že MKN-10 se snaží zachytit jazyk moderní medicíny a zároveň ho i zpětně ovlivňuje, musí být jejím smyslem i jazyková kulti-vace. Ze strany ÚZIS ČR proto došlo nejen k opravě pravopis-ných, typografických a stylistických chyb, ale také k částečnému terminologickému sjednocení. Publikace je dostupná jak v tiš-těné, tak elektronické podobě. Veškeré elektronické podklady jsou k dispozici na webové stránce http://www.uzis.cz/katalog/klasifikace/mkn.

The goal was to create decompiler for Java programing language. Decompiler should reconstruct original Java source code from class files, representing its compiled form. First part of thesis focuses on Java langage, its compilation and structure of class file. Then Java Virtual Machine and its instruction set is discussed. After that thesis focuses on decompilation and algoritms designed and used for decompiler realization. Examples of decompiled code are presented.

This master's thesis describes the design and implementation of optimizations in the middle-end part of a retargetable decompiler developed by AVG Technologies. The purpose of these optimizations is to improve readability of the produced source code and improve existing optimizations in the back-end part. In the introduction, basic information about reverse engineering and decompilation is provided. Then, a description of state of the retargetable decompiler before this work is given. After that, the main part of this work is presented, which describes the design and implementation of the proposed optimizations. Then, the techniques that were used for testing are described. This description is followed by a summary of the achieved results. The present work is concluded by a discussion of possible future development.

This paper describes methods and procedures used for code analysis and transformation. It contains basic information of a science discipline called reverse engineering and its use in information technologies. The primary objective is a construction of a generic reverse compiler or decompiler, i.e. tool that can recompile from binary form (optionally from symbolic machine code) to a high level language. This operation is highly dependent on the concrete instruction set and processor architecture. This problem is solved with description of semantic of each instruction by a special language designed for this use. The output is the high level language code and is functionally equivalent to the input. The program is therefore able to work with each instruction set and code written by it can be transformed into the chosen high level language. This proposal is implemented in practice as a part of project Lissom. Generic decompiler is completely new idea. The thesis contains entirely new techniques from theory of compilers and optimizations made by the author.

This work describes methods of functions detection in decompilation. It contains basic information about reverse engineering and its applications in computer science and beyond. Decompiler developed by research group Lissom at FIT VUT Brno is introduced. The main objective is to elucidate several methods of functions detection, discuss their advantages and disadvantages, and identify the problems of functions detection. After detecting the start, end and body of function, it is needed to find the parameters and return values. There are some algorithms presented in this area. The output of this thesis is design and implementation of architecture independent function detection and parameter detection.

The thesis deals with reverse techniques in software engineering. It presents practical application of software reverse engineering, used tools and approaches. The topic of instruction decoding is discussed in detail. Two basic methods are presented-linear sweep and recursive descent. Their strengths and weaknesses are highlighted. Subsequently a decompiler developed by AVG Technologies is introduced. The decompiler is retargetable. This feature allows to decompile applications of multiple platforms into various target languages. The aim of  the thesis is to design and implement algorithm for  decoding binary files into high-level representation. The designed algorithm is based on modified recursive descent algorithm, which uses control flow information. In order to achieve more accurate decoding results, symbol table records and other additional information are used. The proposed algorithm was implemented for the AVG Technologies retargetable decompiler. The tests showed that the implemented algorithm improved the function detection in decoded programs. Furthermore, the implemented solution allows to decode files that could not be analysed using the previous version of the decompiler.

This thesis deals with a decompilation tool which converts low-level binary code to a high-level representation. This tool is being developed by AVG Technologies. The aim of this work is to design and implement a method for code structuring in the decompiler back-end. The designed method works by traversing the control-flow graph with matching of predefined patterns. It is not always possible to structure code using conditional statements and loops. Sometimes also goto statements must be used. The implemented solution is compared with the original solution in the decompiler. According to the results the new solution is faster, better tested, but in greater number of test cases generates invalid code. From the viewpoint of structuring the results are different and sometimes the code is structured better, but sometimes worse.

The thesis addresses the decompilation of high-level object-oriented C++ language from a machine code. The term reverse engineering is defined and existing decompilers are described with emphasis on their ability to reconstruct C++. AVG decompiler project is introduced, to which this thesis contributes. C++ language is analysed, both on a logical level and in the machine code and existing methods of decompilation are described. On this basis a novel method is introduced, capable of decompiling classes, their hierarchy, constructors, destructors and definitions and usages of virtual methods. The method is implemented, tested and evaluated. In the conclusion, several suggestions for future development of this project are presented.

Práce je zaměřena na rozpoznávání specifického chování pomocí generického zpětného překladu. Generický zpětný překlad je proces, který transformuje spustitelné soubory z různých architektur a formátů objektových souborů na stejný jazyk na vysoké úrovni. Tento proces se vztahuje k nástroji Lissom Decompiler. Pro účely rozpoznání chování práce zavádí Language for Decompilation -- LfD. LfD představuje jednoduchý imperativní jazyk, který je vhodný pro srovnávaní. Konkrétní chování je dáno známým spustitelným souborem (např. malware) a rozpoznání se provádí jako najítí poměru podobnosti s jiným neznámým spustitelným souborem. Tento poměr podobnosti je vypočítán nástrojem LfDComparator, který zpracovává dva vstupy v LfD a rozhoduje o jejich podobnosti.

This document describes methods for a reconstruction of data types in the decompilation problem. It defines the concept of reverse engineering and introduces decompiler developed by the Lissom project. It presents existing methods of reconstruction of the simple and complex data types, and explains in detail approaches based on data-flow analysis and analysis of the memory operation offsets. The core of this thesis is the design of a new technique of reconstructing simple and complex data types, suitable for deployment in a retargetable decompiler environment of the Lissom project. Basic principles of the new technique, its implementation and related changes in decompiler and intermediate language are described. The solution is tested and the conclusion discusses the achievements, shortcomings and direction of the further work.

Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.