Static program analysis system for target code

A goal-oriented, static analysis technology, applied in instrumentation, error detection/correction, calculation, etc., can solve problems such as incomplete reflection, key properties and behaviors cannot be reflected and guaranteed, and achieve easy access, avoid high-level abstract errors, The effect of ensuring correctness

Inactive Publication Date: 2017-05-10
EAST CHINA NORMAL UNIV
View PDF5 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the abstract and assumed environment system often cannot fully reflect the specific problems and situations in actual operation, and such a working me

Method used

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
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Static program analysis system for target code
  • Static program analysis system for target code

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0030] Embodiment Taking the prototype tool of the object code-oriented program static analysis system of the present invention as an example, the static analysis of the object code in ELF format is realized.

[0031] ELF is a standard file format for binaries, executables, object code, shared libraries, and core dumps. ELF file consists of 4 parts, namely ELF header (ELF header), program header table (Program header table), section (Section) and section header table (Section header table). In fact, a file does not necessarily contain all the content, and their positions may not be arranged as shown, only the position of the ELF header is fixed, and the position, size and other information of the other parts are determined by the values ​​in the ELF header. to decide.

[0032] The static analysis of the object code in ELF format using the prototype tool of the present invention will be introduced in detail below. The structure diagram of the prototype tool system is as follo...

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

PUM

No PUM Login to view more

Abstract

The invention discloses a static program analysis system for a target code. The system comprises a decompilation module, an intermediate expression refinement module, a program analysis module and a visual module. The decompilation module adopts a to-be-analyzed target code file as input, performs packaging format removal and decompilation operations on an input file, generates an assembly code, a control flowchart and process boundary and other information and adopts the same as the output of the model; the intermediate expression refinement module generates a corresponding data structure and performs a refinement operation according to the information generated by the decompilation module; the program analysis module generates several expression forms of the to-be-analyzed program according to the information output by the decompilation module and the intermediate expression refinement module; and the visual module is applied to visible display of various patterns and other information in an analysis process. The system analyzes the program behaviors according to actually executed binary codes and has higher fidelity compared with an analysis tool for source codes.

Description

technical field [0001] The invention relates to an object code-oriented program static analysis system. Background technique [0002] At present, the static analysis techniques of programs based on source code are all based on the assumption of the physical environment in which the program runs. However, the abstract and assumed environment system often cannot fully reflect the specific problems and situations in actual operation, and such a working method based on a better assumed environment will cause some key properties and behaviors to be unable to be reflected and guaranteed under certain circumstances. The object code is the code generated by the compiler after processing the source code. It is the code actually executed on the CPU of the machine. It contains the complete physical environment information of the program running, and has the irreplaceable characteristic of being highly consistent with the actual running situation. Therefore, using the program analysis ...

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

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/36
CPCG06F11/3604
Inventor 何积丰卜祥兴史建琦黄滟鸿李昂方徽星
Owner EAST CHINA NORMAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap