Program slicing based parallelization method and device of code defect static detection

A program slicing and code defect technology, applied in the field of code defect static detection, can solve problems such as code defect static detection in split calculation process, and achieve the effect of improving efficiency and accuracy

Inactive Publication Date: 2014-07-09
BEIJING VENUS INFORMATION TECH +1
View PDF2 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The present invention provides a parallelization method and device for code defect static detection based on program slicing, so as to overcome the fact that the process coupling degree

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
  • Program slicing based parallelization method and device of code defect static detection
  • Program slicing based parallelization method and device of code defect static detection
  • Program slicing based parallelization method and device of code defect static detection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0038] In order to make the purpose, technical solution and advantages of the present invention more clear, the embodiments of the present invention will be described in detail below in conjunction with the accompanying drawings. It should be noted that, in the case of no conflict, the embodiments in the present application and the features in the embodiments can be combined arbitrarily with each other.

[0039] Such as figure 1 As shown, it is a flow chart of an embodiment of a parallel method for static detection of code defects based on program slicing in the present invention. The method includes the following steps:

[0040] Step 101, using program slicing technology to segment the detection object into multiple independent sub-objects;

[0041] Step 102, performing static detection of code defects on each sub-object in parallel.

[0042] Run multiple code defect detection engines in parallel to perform defect detection on each sub-object.

[0043] Wherein, the specifi...

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 program slicing based parallelization method and device of code defect static detection. The program slicing based parallelization method comprises splitting a detection object into a plurality of sub-objects which are mutually independent by a program slicing technology and executing the code defect static detection of every sub-object in a parallel mode. According to the program slicing based parallelization method and device of the code defect static detection, the object to be detected is divided into the plurality of sub-objects which are mutually independent by the program slicing technology, the detection processes of the sub-objects are not interfered with each other, the code defect static detection of every sub-object can be executed in a parallel mode, and accordingly the efficiency and the accuracy of the static detection are improved.

Description

technical field [0001] The invention relates to a code defect static detection technology, in particular to a parallel method and device for code defect static detection based on program slicing. Background technique [0002] At present, the problem of low efficiency is common in static code defect detection systems, that is, the massive execution paths to be analyzed need to consume a lot of time and resources, especially in the case of path explosion, static analysis is often computationally infeasible. As the size and complexity of software increase, this problem will become more and more serious. The current mainstream defect detection system only relies on introducing some heuristic rules and setting the analysis upper bound to limit the analysis work to an acceptable range. However, this limitation will inevitably cause some paths not to be analyzed, which will affect the detection accuracy and cause some code defects to be missed. [0003] At present, the computing ...

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
Inventor 孙薇梁彬边攀
Owner BEIJING VENUS INFORMATION TECH
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