Path-sensitive detection method and device

Abstract

An embodiment of the invention provides a path-sensitive detection method and device. The path-sensitive detection method comprises the following steps: setting an initial error-related attribute for a variable according to the value stream error type; propagating the initial error-related attribute along a constant value reference chain; recognizing the error-related attribute of the variable in the position of a potential error statement; determining the potential error statement to be a possible error statement according to the error-related attribute, recognized in the position of the potential error statement, of the variable; acquiring a statement input set for path-sensitive detection according to the possible error statement; performing path-sensitive detection according to the statement input set for path-sensitive detection. According to the path-sensitive detection method and device, the problems of non-ideal scalability and failure of effective application to large-scale application programs for the value stream error detection in the prior art are solved, the detection overhead is reduced through reduction of the statement input set for path-sensitive detection, and the path-sensitive detection method and device can be effectively applied to large-scale application programs.

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...

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

Images