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

Effective symbol execution method and device based on branch coverage guidance

A technology of effective symbol and branch coverage, applied in the field of effective symbol execution method and device based on branch coverage guidance, can solve the problem of low efficiency of mining software program vulnerabilities, achieve the effect of improving the efficiency of vulnerability mining and ensuring the correctness of the method

Pending Publication Date: 2022-07-29
BEIJING UNIV OF POSTS & TELECOMM
View PDF5 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The present invention provides an effective symbolic execution method and device based on branch coverage guidance, which is used to solve the defect of low efficiency in mining software program loopholes in the prior art, and to improve the efficiency of mining software program loopholes

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
  • Effective symbol execution method and device based on branch coverage guidance
  • Effective symbol execution method and device based on branch coverage guidance
  • Effective symbol execution method and device based on branch coverage guidance

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] In order to make the objectives, technical solutions and advantages of the present invention clearer, the technical solutions in the present invention will be clearly and completely described below with reference to the accompanying drawings. Obviously, the described embodiments are part of the embodiments of the present invention. , not all examples. Based on the embodiments of the present invention, all other embodiments obtained by those of ordinary skill in the art without creative efforts shall fall within the protection scope of the present invention.

[0037] Combine below Figure 1-Figure 5 The method and apparatus for efficient symbol execution based on branch coverage guidance of the present invention are described.

[0038] like figure 1 As shown, the effective symbolic execution method based on branch coverage guidance provided by the present invention includes:

[0039] Step 110: Traverse the execution path of the program under test, and obtain execution...

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 provides an effective symbolic execution method and device based on branch coverage guidance, and the symbolic execution method comprises the following steps: traversing an execution path of a tested program, and obtaining execution information corresponding to the execution path based on a dependency relationship of predicates of the tested program; wherein the execution information comprises static execution information and dynamic execution information; dividing the branch predicates covered by the execution path into corresponding branch predicate sets based on the execution information; determining a path constraint based on a path selector and the branch predicate set; and determining a new execution path based on the path constraint, and obtaining a symbolic execution result corresponding to the tested program based on the new execution path. According to the effective symbol execution method and device based on branch coverage guidance, the defect that in the prior art, the efficiency of mining software program vulnerabilities is low can be overcome, and the efficiency of mining the software program vulnerabilities is improved.

Description

technical field [0001] The present invention relates to the technical field of software information, and in particular, to an effective symbol execution method and device based on branch coverage guidance. Background technique [0002] In recent years, with the rapid development of the Internet, industrial control systems, and the Internet of Things, the number of software is also increasing rapidly. The software runs dynamically loads various plug-in modules and frequently updates and patches, making the form of the software more dynamic. Vulnerabilities in software programs are easily exploited and exploited by criminals, threatening the security of software programs. Therefore, it is necessary for software developers to test the developed software programs, dig for loopholes in software programs, and solve the loopholes. [0003] In the prior art, a symbolic execution method is generally used to mine loopholes in a software program. The existing symbolic execution method...

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): G06F21/57
CPCG06F21/577G06F2221/033Y02D10/00
Inventor 易秋萍余一凡
Owner BEIJING UNIV OF POSTS & TELECOMM