C program defect detection-oriented targeted parallel symbol execution method

A defect detection and symbolic execution technology, applied in the information field, can solve problems such as path space explosion, excessive computing resource overhead, and difficult and efficient analysis of symbolic execution technology, achieving the effect of ensuring high efficiency, fast and accurate positioning and verification

Active Publication Date: 2019-09-10
湖南泛联新安信息科技有限公司
View PDF3 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Excessive computing resource overhead and path space explosion make it difficult for symbolic execution techn

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
  • C program defect detection-oriented targeted parallel symbol execution method
  • C program defect detection-oriented targeted parallel symbol execution method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0038] The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only some, not all, embodiments of the present invention. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the protection scope of the present invention.

[0039] see figure 1 , the targeted parallel symbolic execution method for C program defect detection includes a distributed computing system, the distributed computing system includes a master control node and a plurality of computing nodes, and the master control node is responsible for task preprocessing and Assignment of tasks, the computing nodes are responsible for task processing;

[0040] The master control node task preprocessing and task assig...

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 relates to a C program defect detection-oriented targeted parallel symbol execution method, which comprises a distributed computing system. The distributed computing system comprises a master control node and a plurality of computing nodes, and the task preprocessing and the task assignment of the master control node comprise the following steps of S1, compiling a source code into anintermediate code; S2, carrying out static analysis to obtain the suspected vulnerability points; S3, establishing a program dependency graph; S4, enabling a graph algorithm to traverse a program dependency graph G; S5, putting the sub-graphs into a queue; S6, recording the states of the computing nodes; S7, initializing a computing node; S8, distributing the intermediate codes; S9, traversing aqueue ListTask; S10, enabling each computing node to start a computing task; S11, updating the tuple NS; and S12, enabling the main control node to inform each computing node to end, and receive and gather the processing results submitted by each computing node. According to the invention, the quick and accurate positioning and verification of the source code defect analysis target are realized.

Description

technical field [0001] The invention relates to the field of information technology, in particular to a targeted parallel symbolic execution method for C program defect detection. Background technique [0002] Symbolic execution is a high-precision program analysis technique. This technology uses symbolic input instead of actual input to simulate the execution of the target program, and uses symbolic expressions to describe the semantics of program instructions on the execution path. When a conditional statement is encountered, the branch condition is added to the path condition of the current path, and the SMT solver is called to solve the satisfiability of the path condition to determine whether the path is actually feasible. After mutating the path condition constraint subset, it is obtained The new constraint set of , by using the SMT solver to solve the new constraint set, loop the above process to exhaustively analyze the path space of the target program. Excessive c...

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/3612G06F11/3684G06F11/3688
Inventor 张俊贤赵曦
Owner 湖南泛联新安信息科技有限公司
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