Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A Method of Pointer Alias ​​Analysis in Program

A technique of alias analysis and pointers, applied in the field of program analysis

Active Publication Date: 2019-04-16
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
  • A Method of Pointer Alias ​​Analysis in Program
  • A Method of Pointer Alias ​​Analysis in Program

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] The technical solutions in the embodiments of the present invention are clearly and completely described below in conjunction with the accompanying drawings of the embodiments of the present invention. Obviously, the described embodiments are only part of the embodiments of the present application, not all of them.

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

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

[0027] Step 101, maintaining a global data structure during the running of the program, which is used to store pointing information of all pointers in the pro...

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, in particular to a method for analyzing pointer aliases 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 is becoming larger and larger, and the program structure is becoming more and more complex, which brings greater challenges to software development and maintenance. In order for program developers to understand the software developed by themselves or others faster, so as to optimize and debug existing software, or expand and maintain legacy software, it is necessary to analyze the program source code. Program analysis involves many aspects of the program, and because pointer data types are widely used in C / C++ programs, the parallelism analysis and optimization work of the program becomes more complicated. If a conservative estimate is adopted without ana...

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 Patents(China)
IPC IPC(8): G06F8/41
CPCG06F8/434
Inventor 不公告发明人
Owner BEIJING INTELLIGENT FULLY ELECTRIC INFORMATION TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products