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

Symbol execution method, electronic equipment and storage medium

A technology for symbolic execution and data storage, applied in the computer field, to solve problems such as unavailability

Active Publication Date: 2020-07-03
HUAWEI TECH CO LTD
View PDF3 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

But in reality, the number of possible execution path spaces of the application is likely to be astronomical, causing the resource of the symbolic execution engine to be exhausted and unavailable. We call it path explosion. In the case of path explosion, in the case of limited time consumption and The effective analysis of the application cannot be completed within the resource consumption

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
  • Symbol execution method, electronic equipment and storage medium
  • Symbol execution method, electronic equipment and storage medium
  • Symbol execution method, electronic equipment and storage medium

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0073] The embodiment of the present invention provides a symbol execution method that can effectively alleviate the path explosion. In order to better understand the implementation of the shown symbol execution method, the following first combines figure 1 The structure of the electronic device to which the method shown in this embodiment is applied is illustrated as an example:

[0074] figure 1 It is a schematic structural diagram of an electronic device provided by an embodiment of the present invention. The electronic device 100 may have relatively large differences due to different configurations or performances, and may include one or more processors 122 and one or more storage applications 142 The memory 130 (for example, one or a storage device with a large amount).

[0075] The processor 122 may be a central processing unit (CPU), or a microprocessor, or an application-specific integrated circuit (ASIC), or one or more Control the integrated circuit that executes the symb...

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 embodiment of the invention discloses a symbol execution method, electronic equipment and a storage medium. The method comprises the steps of determining a code basic block, determining initial definition data, a first constraint condition and a second constraint condition according to the father node, and performing assignment operation carrying the first constraint condition on the initial definition data according to the first child node to generate a first storage data set, and performing assignment operation carrying the second constraint condition on the initial definition data according to the second child node to generate a second storage data set. By adopting the symbolic execution method disclosed by the invention, the traversal of all paths included in the code basic block can be completed at one time without carrying out merging and copying operations on the paths, so that the traversal efficiency of the paths included in the tested code is improved.

Description

Technical field [0001] The embodiments of the present invention relate to the field of computer technology, and in particular to a symbol execution method, electronic equipment, and storage medium. Background technique [0002] Symbolic execution technology is an important technical means for application program analysis and testing. It was proposed in the 1970s. However, due to some technical difficulties that have not been overcome, symbolic execution basically stayed in theoretical research and simple test samples for a long time. Example. In recent years, thanks to the significant improvement in solver performance, symbolic execution technology has been re-favored, and the number of related academic research and industrial practices has also shown a rapid growth trend. [0003] In a test round of symbolic execution technology, the input value of the application program is not determined, but unknown, which is called symbolic value. We call this execution method symbolic execu...

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
IPC IPC(8): G06F11/36
CPCG06F11/3688
Inventor 李默俞科技陆晓峰
Owner HUAWEI TECH CO LTD