Alias analysis method of pointer in program

A technology of alias analysis and pointer, applied in the field of program analysis

Active Publication Date: 2016-08-24
BEIJING INTELLIGENT FULLY ELECTRIC INFORMATION TECH CO LTD
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In addition, the existence of function calls will cause pointer pointing information to be propagated and modified between the calling function and the called function

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
  • Alias analysis method of pointer in program
  • Alias analysis method of pointer in program

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] The following describes the technical solutions in the embodiments of the present invention clearly and completely with reference to the accompanying drawings of the embodiments of the present invention. Obviously, the described embodiments are only a part of the embodiments of the present application, rather than all the embodiments.

[0025] The implementation of the present invention can meet any requirement that the pointer alias relationship may be used in the program analysis process, and can provide the alias relationship of the designated pointer at the designated position at the designated time when needed, so that the program analysis can proceed smoothly.

[0026] Such as figure 1 It is a flowchart of a pointer alias analysis method in an embodiment of the present invention. The method includes the following steps:

[0027] Step 101: Maintain a global data structure during the running of the program for storing the pointing information of all pointers in the program....

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 an alias analysis method of a pointer in a program, and the method is applied to the field of program analysis. The method comprises the following steps of: in a program operation process, maintaining a global data structure pointed by all pointers in a storage program; when a pointer is stated, adding one new record in the global data structure; when the pointer is subjected to assignment reference, dynamically updating the corresponding record in the global data structure according to the right value of an assignment expression formula and the corresponding memory address space style; before the program operation is finished or when the program operation is finished, outputting the alias relationship of the pointer pointed by a pointed position or all the pointers. The method is capable of providing the alias relationship of the pointer at any position in the program operation process, and is suitable for alias analysis of the pointer of a point stack or stack variable in the process or between the processes.

Description

Technical field [0001] The invention belongs to the field of program analysis, and particularly relates to a method for pointer alias analysis in a program. Background technique [0002] With the continuous improvement of computer technology and the increasing complexity of the problems to be solved, the scale of computer software has become larger and larger, and the program structure has become more and more complex, which brings greater challenges to software development and maintenance. In order to allow program developers to understand the software developed by themselves or others more quickly, so as to optimize and debug the existing software, or to extend and maintain the legacy software, it is necessary to analyze the program source code. Program analysis involves many aspects of the program, and because the pointer data type is widely used in C / C++ programs, the parallelism analysis and optimization of the program become more complicated. If you do not analyze the poin...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/45
CPCG06F8/434
Inventor 不公告发明人
Owner BEIJING INTELLIGENT FULLY ELECTRIC INFORMATION TECH CO LTD
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