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.

Made available in DSpace on 2015-05-08T14:59:31Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3097304 bytes, checksum: d5aed81c6383bfcc8edaae1463e53296 (MD5) Previous issue date: 2011-03-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nowadays the increasing demand for products with high dimensional accuracy and geometric measures has required increasingly accurate. It is necessary to use inspection systems more accurate and flexible to expect these demands. The Coordinate Measuring Machines (CMMs) are an important tool in the design, fabrication and inspection of products manufactured today. These machines are used by the engineer, whose main purpose is to produce an accurate digital model in a virtual space for later use in CAD / CAE / CAM / CAI. To identify the several shapes and surface features, there are many techniques such as Bezier surfaces, splines, B-Splines and NURBS (Non-Rational B-Splines). The NURBS present many advantages, simplicity and facility of data handling, which tends to minimize the problems of randomness and inaccuracy of the cloud of points obtained by the CMM. Thus, the NURBS are an important tool for modeling free-form, making significant contributions in reverse engineering. It is known however that the accuracy of the modeling process of a piece will be greater the larger the number of points collected or measured on the surface (whether by use of laser or continuous scanning by contact or touch point to point). Simulations results showed the effective of the proposed approach. Additionally, experimental results demonstrated that it is of practical use, non time consuming and an alternative way to apply CMMs that incorporated touch trigger probe in modeling processes. The results obtained both by simulation and experimentally demonstrated the relevance of this methodology. / Hoje em dia, a crescente demanda por produtos com alta exatidão dimensional e geométrica tem exigido tolerâncias cada vez mais estreitas. Adicionalmente, peças de geometrias complexas e formas livres tem sido uma prática comum em indústrias dos setores automotivos, aeronáuticos, bioengenharia dentre outros. Para atender as estas demandas se faz necessário sistemas de inspeção cada vez mais exatos e flexíveis. As Máquinas de Medição por Coordenadas (MMCs) são uma importante ferramenta no processo de concepção, fabricação e inspeção dos produtos manufaturados nos dias de hoje. Para identificar as mais diversas formas e características das superfícies existem várias técnicas, tais como, superfícies Bézier, Splines, B-Splines, e NURBS (Non- Uniform Rational B-splines). As NURBS são uma ferramenta importante e uma grande aliada na modelagem de formas geométricas complexas, dando significativas contribuições na engenharia reversa. Sem dúvida, a exatidão do processo de modelagem de uma peça será tão maior quanto maior for o número de pontos coletados ou medidos sobre a sua superfície (seja por uso de laser ou escaneamento contínuo por contato ou por contato ponto a ponto). Então, o principal objetivo desta tese é desenvolver e implementar uma nova metodologia para modelagem de superfícies de formas livres e geometrias complexas utilizando a técnica NURBS em MMC com apalpador touch trigger. Também, foi desenvolvida uma estratégia de medição para obtenção de pontos sobre a superfície estudada. A metodologia proposta foi aplicada experimentalmente para a obtenção de um perfil evolvental de uma engrenagem cilíndrica de dentes retos, um modelo físico reduzido de um avião e um capacete de ciclista. Os resultados obtidos tanto por simulação quanto experimentalmente mostraram a relevância da metodologia desenvolvida.

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.