Dissertation > Excellent graduate degree dissertation topics show

Research on Type Analysis in Decompilation for ARM Architecture

Author: ZhouLiNa
Tutor: YinQing
School: PLA Information Engineering University
Course: Applied Computer Technology
Keywords: ARM Micro Processor Decompilation Type Analysis Intermediate Language Type Attribute Data Flow Analysis
CLC: TP368.1
Type: Master's thesis
Year: 2010
Downloads: 19
Quote: 1
Read: Download Dissertation

Abstract


The embedded systems with ARM micro processor core are widely used in pivotal electronic equipments of defense, communications, etc. It’s important to analyze the structure and function of its code by using the technology of reverse engineering. One of the key steps in code decompilation is type analysis.In this thesis, based on analyzing the semantic information of ARM assembly instructions, the extraction rules of type feature which have been combined with the definition of type variable are summed up; In view of the characteristics of intermediate language(IL),the method of generating type attributes of the IL statements is designed, the different operators in the expression of the IL statements are highlighted, and the type attributes are added to the IL which is primitive and unincorporated type information; By using the type attributes of the IL, the way of propagation which is based on bidirectional data flow analysis is proposed, so that the problem of obtaining more accurate type information is solved; The reconstruction methods of array and structure type are designed. The course of design is related to the analysis of the relationship between memory access expressions; The implementation of a prototype of type analysis in decompilation for ARM is also mentioned in this thesis.The correctness of the type analysis methods of the basic and complex type is validated by testing abundant instances. According to the results, the discussion of the type analysis in this thesis is comprehensive, implemented easily, and with better practicality and expandability.

Related Dissertations

  1. Study on the Key Technologies of Domain Database-Oriented Question and Answering System,TP311.13
  2. Code Parse and Intermediate Language Translation Based on IDA,TP391.2
  3. Research and Implementation of Critical Techniques in Malware Detection Based on Decompilation,TP309
  4. Research and Implementation of Suspicious Behavior Annotation Based on Decompilation,TP309
  5. SSR Markers and Chromosomal Location of the Pea Comb Gene in Chicken,S831
  6. Research on Statement Recovery and Algorithm Recognition in Code Reverse Analysis,TP311.52
  7. The Design and Implementation of Data Flow Analyzer in C/C++ Program Safety Checker,TP311.11
  8. Research and Implementation of Global Array Data-flow Analysis Technology,TP338.6
  9. Research on Key Technology of Binary Reverse Analysis for ARM Architecture,TP332
  10. Research on Pottery Wells Excavated in the Tombs of Han Dynasty in Henan Province,K878.8
  11. Widow image of the modern Chinese fiction,I207.42
  12. Li Shang-yin poetry partial official compound word,I207.22
  13. Research and Realization on Static Detection for XSS Vulnerability Based on JSP,TP311.10
  14. Language type attribute value method of multi-attribute decision making,C934
  15. Perfume Image Research of the Ci Peotry of Northern Song Nynasty,I207.23
  16. Research and Implementation of Intrusion Detection System Based on Clustering and Decision Tree,TP393.08
  17. Abstract syntax tree based on GCC C source semantic text analysis method,TP311.11
  18. The Research and Implementation of Automatic Unit Test Recording Framework,TP311.52
  19. Consider pointer aliasing static analysis technology research,TP311.11
  20. Research on Pottery Ovens Excavated in the Tombs of Han Dynasty,K878.8

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Micro-computer > A variety of micro-computer > Microprocessor
© 2012 www.DissertationTopic.Net  Mobile