Unlock instant, AI-driven research and patent intelligence for your innovation.

A slicing method of llvm intermediate representation program based on information flow analysis

An intermediate representation and program slicing technology, applied in program code conversion, software engineering design, instruments, etc., can solve the problems of unsatisfactory slicing accuracy and poor versatility, and achieve the effect of clear slicing process, improved precision, and rich content

Active Publication Date: 2020-09-22
NANJING UNIV OF POSTS & TELECOMM
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] Although people have proposed a variety of program slicing methods, the objects of slicing are generally programs written in a specific language such as C, C++, Python, etc., and the versatility is poor, and the slicing accuracy is not ideal.

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 slicing method of llvm intermediate representation program based on information flow analysis
  • A slicing method of llvm intermediate representation program based on information flow analysis

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0045] The present invention provides an LLVM intermediate representation program slicing method based on information flow analysis, mainly performing program slicing based on information flow analysis for LLVMIR (Low Level Virtual Machine Intermediate Representation, bottom level virtual machine intermediate representation) programs. The information flow analysis method is a static program analysis method based on the information flow, and it can check out many errors that the compiler cannot find out. This method can also provide people with a lot of useful information. It can not only judge the validity of the statement, but also clearly know the relationship between input and output. It is an important method of program analysis. Information flow analysis technology has important applications in many aspects such as program optimization, program static analysis, and program testing. The attributes of the analyzed data are different in different application fields. The inve...

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 LLVM intermediate representation program slicing method based on information flow analysis. According to the method, first, whether a certain program is an intraprocedural program or an interprocedural program is judged according to a call graph (CG). The slicing method for the interprocedural program comprises the steps that (1) a call relation between programs and a corresponding relation between real parameters and formal parameters are analyzed; (2) DS, PS, lambdaS, muS and rhoS of each call statement are calculated according to a formula; (3) all the programs are analyzed in sequence according to an inverse topological order relation of the CG, and DS, PS, lambdaS, muS and rhoS of the interprocedural program are obtained; and (4) DS, PS, lambdaS, muS and rhoS of all the programs are combined to obtain interprocedural slices. Through the method, intermediate language programs of LLVM IR programs can be sliced, universality is high, and slice precision is high.

Description

technical field [0001] The invention relates to the technical field of software analysis, and relates to a program slicing method, in particular to an LLVM intermediate representation program slicing method based on information flow analysis. Background technique [0002] With the rapid development of computer technology, the number and scale of software systems are constantly expanding, and the complexity is also increasing with the progress of software systems. The program analysis technology that has emerged as the times require has become a very important component in the software field. part. [0003] Among various program analysis techniques, program slicing is a very important technique. Program slicing is a program decomposition technique, that is, a program analysis and understanding method. Program slicing technology and its analysis methods have been widely used in actual production and research, as well as in the fields of program analysis and understanding, de...

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/433
Inventor 张迎周徐晨晨闫丽吴寄语
Owner NANJING UNIV OF POSTS & TELECOMM