Intrinsic function identification method based on subgraph isomorphism matching algorithm in decompilation

A subgraph isomorphism and matching algorithm technology, applied in the field of decompilation, can solve the problems of ineffective representation of the control flow relationship of instruction statements, incomplete decompilation results of intrinsic functions, and affecting the readability of high-level codes, etc., to achieve strong functions. Extensibility, enhanced readability and accuracy, and the effect of increasing the level of abstraction
CN104915211BInactive Publication Date: 2018-04-17XI AN JIAOTONG UNIV

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
XI AN JIAOTONG UNIV
Publication Date
2018-04-17
Estimated Expiration
Not applicable · inactive patent

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention discloses an intrinsic function identification method based on a subgraph isomorphism matching algorithm in decompilation, and belongs to the technical field of decompilation. By establishing an intrinsic function template library, the present invention performs subgraph isomorphism matching on the intrinsic function template and the target assembly file based on the control flow graph generated by decompilation, and locates the compiled optimized and inline expanded objects in the target assembly file in the target program. intrinsic function. The invention realizes the automatic identification of the inline intrinsic function in the process of decompilation, and at the same time, by analyzing the template and prototype of the intrinsic function, the function name, return value, return value type and function parameters of the intrinsic function are restored, so as to achieve the inline function. Purpose of intrinsic function semantic promotion. The improved inline intrinsic function provides more type information for type analysis in decompilation, reduces the complexity of data flow analysis and control flow analysis, improves the abstraction level of intermediate code, and enhances the reliability of decompilation results. readability.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention belongs to the technical field of decompilation, and relates to a method for identifying inline intrinsic functions in decompilation, in particular to a method for identifying intrinsic functions in decompilation based on a subgraph isomorphism matching algorithm. Background technique

[0002] Decompilation technology first appeared in the 1960s, mainly to realize cross-platform porting of code, and has been widely used in various aspects such as program understanding, source code recovery, program debugging, and security analysis. Decompilation software includes front-end, middle-end and back-end. The front end includes loader, software parsing unit and decoder. The loader loads the executable file, disassembles to obtain the assembly code, and then the decompilation software organizes the assembly program into corresponding data structures, such as symbol table, symbol address table, process body entry address table, instruction chain ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More