High-extensibility and high-maintainability source code defect detection method and device

A defect detection and scalability technology, applied in the field of defect detection, can solve problems such as excessive state, storage explosion, poor scalability and maintainability, etc., to reduce detection time consumption, eliminate duplicate states, and The effect of maintainability modularity

Inactive Publication Date: 2011-01-05
UNKNOWN
View PDF0 Cites 25 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although such an integrated structure is less difficult to develop, the scalability and maintainability are not good.
When establishing an execution state diagram, related detection tools will encounter the problem of storage explosion caused by too many states. This problem is a common problem encountered by related detection tools

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
  • High-extensibility and high-maintainability source code defect detection method and device
  • High-extensibility and high-maintainability source code defect detection method and device
  • High-extensibility and high-maintainability source code defect detection method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0042] Below in conjunction with accompanying drawing, the present invention will be further described.

[0043] see Figure 1 to Figure 3 :

[0044] The present invention provides a highly scalable and maintainable source code defect detection method, which is special in that it includes the following steps:

[0045] (1) Convert the user-configured source code that needs to be detected into an abstract syntax tree and a control flow graph, and send it to the analysis engine, and the analysis engine starts to work;

[0046] (2) According to the abstract syntax tree and the control flow graph, perform flow-insensitive analysis on the source code, submit the analysis result to the defect report module, and then enter step 3 to perform path-sensitive analysis;

[0047] (3) Carry out various path-sensitive modeling and analysis of the source code according to the abstract syntax tree and the control flow graph, and generate the original defect information;

[0048]Described ste...

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 high-extensibility and high-maintainability source code defect detection method and a high-extensibility and high-maintainability source code defect detection device. The method comprises the following steps of: (1) converting a source code which is configured by a user and needs to be detected into an abstract syntax tree and a control flow chart and transmitting the abstract syntax tree and the control flow chart into an analytical engine; (2) performing flow-insensitive analysis on the source code according to the abstract syntax tree and the control flow chart, submitting an analysis result to a defect reporting module, and entering a step 3 to perform path-sensitive analysis; (3) performing various types of path-sensitive modeling and analysis on the source code to generate original defect information according to the abstract syntax tree and the control flow chart; and (4) reducing and simplifying a defect path and reporting the defect path to the user according to the original defect information. The device comprises three functional modules, namely a compiler front end, the analytical engine and the defect reporting module. The invention aims to provide the source code defect detection method and the source code defect detection device which have the characteristics of high extensibility, high maintainability, modularization and the like.

Description

technical field [0001] The invention relates to a technology for detecting defects in software source codes, belonging to the technical field of computer information security. Background technique [0002] The source code defect detection tool is a fairly complicated software system, and its complexity is no less than a production-level C / C++ compiler. In a large software system, the design of the system architecture directly determines the quality and sustainable development capability of the system. Among the existing open source detection tools, we found that most of them mix the functions of syntax processing, detection, and error reporting. Although such an integrated structure is less difficult to develop, its scalability and maintainability are not good. When establishing an execution state diagram, related detection tools will encounter the problem of storage explosion caused by too many states. This problem is a common problem encountered by related detection tool...

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 UNKNOWN
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