Java null pointer analysis system based on constant value arrival analysis method

An analysis method and analysis system technology, which is applied in the field of software static analysis, can solve problems such as the inability to display the null pointer analysis process and jump to the source code location where the error is reported, and achieve the effect of enhancing legibility and good source code style

Inactive Publication Date: 2019-08-30
SUN YAT SEN UNIV
View PDF8 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] In order to solve the shortcomings of the prior art that cannot display the null pointer analysis process and jump to the source code location of the error when performing static analysis, the present invention provides a Java null pointer analysis system based on the fixed value arrival analysis method

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
  • Java null pointer analysis system based on constant value arrival analysis method
  • Java null pointer analysis system based on constant value arrival analysis method
  • Java null pointer analysis system based on constant value arrival analysis method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0024] Such as figure 1 As shown, the project module displays each project structure in a tree structure through java.swing.JTree, and displays and saves packages, classes, methods and attributes by inheriting javax.swing.tree.TreeNode, java.util.ArrayList The class saves the project source code and analysis result data;

[0025] Described filter module utilizes java, io.FIle class saves and reads the filter configuration information on the hard disk, and converts the configuration information into a self-defined configuration information entity class;

[0026] The source code module displays source code file information and line numbers through the java.swing.JTextPane control;

[0027] The console module is based on the java.swing.TextArea control and can output the analysis process to the tool interface;

[0028] The null pointer analysis module realizes the analysis of source code scanning and null pointer based on the fixed value arrival analysis method;

[0029] The r...

Embodiment 2

[0031] By loading the project source code, the null pointer analysis process can be displayed in the console module, such as figure 2 shown; after the analysis process is completed, the result display module can output the analysis result information, such as Figure 4 shown; at the same time, the project module will display the source code structure of the analyzed project, such as image 3 shown; by clicking figure 2 The underlined part can open the relevant source code file and jump to the relevant source code line position, such as Figure 5 shown.

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 the field of software static analysis, in particular to a Java null pointer analysis system based on a fixed value arrival analysis method. The system comprises a project module, a filter module, a source code module, a console module, a null pointer analysis module and a result display module. According to the system, a developer can be helped to timely discover suspectedsource code lines with null pointer abnormity in a source code in a development process. Through the tool, the source codes can be directly displayed and jumped to suspected abnormal source code lines, developers can check and analyze the source codes more conveniently and visually, accordingly, the corresponding source codes can be modified, the source code structure is further perfected, the readability of the source codes is enhanced, a better source code style is formed, and a more perfect software system is developed.

Description

technical field [0001] The invention relates to the field of software static analysis, and more specifically, relates to a Java null pointer analysis system based on a fixed value arrival analysis method. Background technique [0002] As the two major languages ​​​​of object-oriented languages, Java and C++, pointers / references are very common in development. A pointer represents a memory storage address of a data type. During development, if a pointer pointing to a null address is called, a null pointer exception will be triggered, which often leads to a direct crash of the system. Therefore, null pointer errors are important in software development. Among them is very common. Therefore, development engineers often make null reference judgments in the return results of many calling methods, and some methods will make judgments even if the results are never empty, thus affecting the beauty and readability of the source code. [0003] According to the TIBO programming langu...

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/3612
Inventor 陈森海周晓聪
Owner SUN YAT SEN UNIV
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