Research Of Static Detection Method For Dangling Pointer

With the growing popularity of computer technology, the scope of software applications and the scale of software are expanding, so the quality of software becomes more and more important. Software testing is an important method for software quality assurance, and software static testing is an important area of research. Program static analysis is a common way to test software without running it, and find software defects in source code. Defect pattern oriented testing is an effective complement to traditional testing methods because it's highly relevant to defect.DTSCpp system is a tool for defect pattern oriented static analysis and it has good scalability. Because global analysis module and defect pattern state machine calculation module of the system can dynamically load specific information of defect pattern at run time, and they relate to the specific defect patterns, so the extension of the two modules is possible and necessary.Global analysis module based on method summary provides ability to analyze the interaction behaviors between functions and increases the accuracy of defect testing system. Defect pattern state machine calculation module based on finite state machine provides ability to abstract program behavior and find defects.Dangling pointer is a very serious system defect and belongs to fault pattern. The paper makes a deep study of its causes, and then combining with the method of extension for the DTSCpp system, designs and implements a dangling pointer defect detecting algorithm which supports the behavior analysis in and between functions. Experiments show that the defect pattern of dangling pointer is significant in practice, and it's important for software quality assurance. It's an effective extension of system detect ability.