Parallel path search method and device for symbolic execution

A path search and symbolic execution technology, applied in the computer field, can solve the problems of high search difficulty, large number of paths, and high complexity of path structure, and achieve the effect of improving search efficiency and reducing search difficulty

Active Publication Date: 2020-07-28
CAPITAL NORMAL UNIVERSITY
View PDF1 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] In order to solve the problems existing in the prior art due to the high structural complexity between paths and the large number of paths resulting in low path search efficiency and high search difficulty, the present invention provides a symbolic execution parallel path search method and device

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
  • Parallel path search method and device for symbolic execution
  • Parallel path search method and device for symbolic execution
  • Parallel path search method and device for symbolic execution

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0042] In order to make the purpose, technical solutions and advantages of the embodiments of the present invention more clear, 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.

[0043] Symbolic execution technology has important applications in the fields of software testing, software vulnerability, and vulnerability mining. In the process of program execution, symbolic input is used to replace actual input, program variables are symbolized, and path constraints are continuously collected through instrumentation during analysis. Conditions, test cases are generated by constraint solver to improve the coverage of software testing or to discover the vulnerability of software. Compared with the traditional fuzz test, it has great advantages in the in-depth analysis of the program to be detected.

[0044] Among them, this application will...

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 a parallel path searching method and device of symbol execution. The parallel path searching method comprises the steps that protocol processing is conducted on a control flow diagram of an obtaining program to obtain a path binary tree of the control flow diagram; any path in the path binary tree is selected, and a true value sequence of a constraint condition correspondingto the path is obtained; inverse sequential negation is conducted on all constrain true values in the true value sequence to obtain multiple path prefixes; according to the path binary tree, multiplepredicting paths corresponding to each path prefix are determined, a thread is distributed for each path prefix to accordingly achieve parallel search of multiple paths in the mode of conducting pathsearch on multiple predicting paths simultaneously, thus the searching efficiency is effectively improved, and the searching difficulty is lowered.

Description

technical field [0001] The invention relates to computer technology, in particular to a symbolic execution parallel path search method and device. Background technique [0002] Symbolic execution technology has important applications in software testing, software vulnerability, vulnerability mining and other fields. Specifically, by replacing actual input with symbolic input during program execution, program variables are symbolized, and path constraints are continuously collected through instrumentation during analysis, and test cases are generated through constraint solvers to improve the coverage of software testing Or discover vulnerabilities in software. [0003] The existing symbolic execution technology adopts a depth-first serial path search method, that is, after exploring a complete program path each time, the truth value of the constraint on the last non-leaf node of the current complete path is reversed, as Next iterate the expected path until all paths are sea...

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): G06F11/36
CPCG06F11/3684
Inventor 衷璐洁黄晓
Owner CAPITAL NORMAL UNIVERSITY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap