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

A parameter consistency verification method and device

A verification method and consistency technology, applied in the field of electronic information, can solve problems such as memory access out of bounds, inconsistency of memory space occupation between formal parameters and actual parameters, etc., and achieve high accuracy

Active Publication Date: 2021-10-29
BANK OF CHINA
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] This application provides a parameter consistency verification method and device, with the purpose of solving the problem of memory access out of bounds caused by the inconsistency of the memory space occupation of formal parameters and actual parameters

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 parameter consistency verification method and device
  • A parameter consistency verification method and device
  • A parameter consistency verification method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0064] The parameter consistency verification method disclosed in the embodiment of the present application can be performed before the source code of the program runs, so as to avoid the problem of out-of-bounds memory access caused by the inconsistency of the memory space occupied by the formal parameters and the actual parameters during the running process.

[0065] In the following embodiments of the present application, a program written in COBOL language is taken as an example for illustration. It should be noted that the parameter consistency verification method described in this application is not limited to programs written in COBOL language.

[0066] The following will clearly and completely describe the technical solutions in the embodiments of the application with reference to the drawings in the embodiments of the application. Apparently, the described embodiments are only some of the embodiments of the application, not all of them. Based on the embodiments in thi...

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

This application provides a parameter consistency verification method and device, which obtains the information of the formal parameter and the actual parameter from the source code, and obtains the result whether the length of the formal parameter and the length of the actual parameter are the same. The position information of the parameters and actual parameters in the source code can prompt the programmer, and the programmer can correct it in time to avoid the problem of memory access out of bounds during the running process. Compared with manual checking, it has higher accuracy.

Description

technical field [0001] The present application relates to the field of electronic information, in particular to a parameter consistency verification method and device. Background technique [0002] In the source code written in COBOL language, the formal parameters (referred to as formal parameters) refer to the entry parameters defined in the subroutine (called program). Substantial parameter (referred to as actual parameter) refers to the parameter passed when the main program (calling program) calls the subroutine. [0003] In the source code, the lengths of formal and actual parameters may be different due to programmer's mistakes and so on. In this case, in the process of compiling and running the source code, there will be a problem of out-of-bounds memory access caused by inconsistent memory space occupation of parameters. [0004] In the prior art, this problem is avoided by manually reviewing the source code, but this method is prone to omissions, so it cannot com...

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/41G06F8/43
Inventor 庄为李诗宇许佳丽
Owner BANK OF CHINA