Static code detection method and static code detection system and storage device

A technology of static code and detection method, applied in the field of programming, can solve problems such as false positives and lack of involvement, and achieve the effect of reducing workload and improving confirmation efficiency

Active Publication Date: 2018-11-27
CHINA UNITED NETWORK COMM GRP CO LTD
View PDF15 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The static code detection process includes: first modeling the defect, and then detecting the defect by scanning the source code. However, since the detection process does not need to run the program, the detected defects have the problem

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
  • Static code detection method and static code detection system and storage device
  • Static code detection method and static code detection system and storage device
  • Static code detection method and static code detection system and storage device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] In order to enable those skilled in the art to better understand the technical solution of the present invention, the static code detection method, static code detection system, and storage device of the present invention will be further described in detail below in conjunction with the drawings and specific embodiments.

[0044] With the application and research of a large number of static code detection practices, the inventors found that defects do not exist independently, but are closely related to each other. The inheritance and transitivity of defects make the defects have a certain correlation. In order to improve the efficiency of static code detection, the technical idea of ​​the present invention is to provide a static code detection method and a static code detection system from the perspective of defect correlation, classify defects by analyzing the internal relationship of defects, and reduce The workload of manual confirmation during static code detection. ...

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 belongs to the technical field of programming, and relates to a static code detection method and a static code detection system and storage device. The static code detection method comprises the following steps of: processing static codes, extracting variable information and establishing a related variable set; classifying defects according to variables which may generate defects, establishing a defect set, wherein the defect set comprises at least one defect subset, wherein each defect subset comprises a root node defect related to a variable; confirming the defect according tothe false alarm condition of the defect of the root node in the defect subset. According to the invention, the defect correlation analysis technology is added on the basis of the prior static defect detection, and the defects with dependency relation are divided into a group based on the intrinsic correlation among defects; when a subset relation exists among the defects, if the root node in the defect subset is a false alarm, all defects in the whole subset are false alarm, thereby greatly improving the checking efficiency of the static code detection defect and reducing the workload of manual confirmation.

Description

technical field [0001] The invention belongs to the technical field of programming, and in particular relates to a static code detection method, a static code detection system and a storage device. Background technique [0002] Static code detection refers to checking the correctness of the program by analyzing or checking the syntax, structure, process, interface, etc. of the source program without running the program itself. Perform structural analysis, flowchart analysis, and symbolic execution on requirements specifications, software design specifications, and source programs to find errors. Static code detection finds deficiencies and suspicious points through the analysis of the static characteristics of the program, such as mismatched parameters, inappropriate loop nesting and branch nesting, unallowed recursion, unused variables, and references to null pointers and suspicious calculations etc. Static test results can be used for further troubleshooting and provide ...

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/3608
Inventor 杨学红
Owner CHINA UNITED NETWORK COMM GRP CO LTD
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