Path-sensitive detection method and device
A detection method and path technology, applied in the computer field, can solve problems such as unsatisfactory scalability and inability to effectively apply large-scale applications, and achieve the effect of reducing detection overhead
Active Publication Date: 2018-01-02
HUAWEI CLOUD COMPUTING TECH CO LTD +1
View PDF3 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0004] The embodiment of the present invention provides a path-sensitive detection method and device, so as to solve the problem of unsatisfactory scalability and inability to be effectively applied to large-scale applications in the solution of detecting value flow errors in the prior art
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0046] In order to make the purpose, technical solutions and advantages of the embodiments of the present invention clearer, the technical solutions in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Obviously, the described embodiments It is a part of embodiments of the present invention, but not all embodiments. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without creative efforts fall within the protection scope of the present invention.
[0047] figure 1 It is a flow chart of the path-sensitive detection method provided by Embodiment 1 of the present invention. The method of this embodiment can be effectively applied to large-scale applications. The method is executed by a value stream error detection device, which is usually implemented in hardware and / or software. The method o...
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
Login to View More Abstract
Embodiments of the present invention provide a path-sensitive detection method and device. The path-sensitive detection method of the present invention includes: setting initial error-related attributes for variables according to the value stream error type, and propagating the initial and error-related attributes along the fixed-value reference chain Related attributes, identify the error-related attributes of the variable at the potential error statement, determine the potential error statement as a possible error statement according to the error-related attributes of the variable identified at the potential error statement, and obtain path sensitivity according to the possible error statement The detected statement input set is used for path-sensitive detection according to the statement input set of path-sensitive detection. In order to solve the problem that the scalability of detection value stream errors in the prior art is not ideal and cannot be effectively applied to large-scale applications, the detection overhead is reduced by reducing the statement input set of path-sensitive detection, and it can be effectively applied to large-scale applications. scale applications.
Description
technical field [0001] Embodiments of the present invention relate to field computer technologies, and in particular, to a path-sensitive detection method and device. Background technique [0002] The value flow error in the program is a very common and dangerous loophole, which exists widely in various operating systems and application software. Error raised when the stream reaches the reference point. To ensure the safe operation of computer systems, it is very important to eliminate value flow errors. [0003] At present, static methods are mainly used to detect value stream errors. The static method does not need to run the program, and only needs to scan the source program statically to find errors in the program. It can find errors in the program as early as possible. In order to improve the accuracy of error detection, it is usually to analyze all possible execution paths in the program one by one, and then detect value flow errors. This type of method has high 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
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
Inventor 衷璐洁霍玮李丰张兆庆
Owner HUAWEI CLOUD COMPUTING TECH CO LTD