Research On Detecting Invalid Arithmetic Operations Based On Method Summary

With the vigorous development of information technology and the popularization of computer application, the complexity of software increases rapidly. If any problem arises from software, it will bring immeasurable loss to users. So how to improve software quality becomes an important aspect of software engineering. Software errors can be categorized to two fields, one is calculation errors, and the other is system crash. Calculation errors may easily be detected, but system crash is difficultly detected in traditional software testing. Invalid arithmetic operation is a common error which could cause system crash.Software static analysis technology, as an important domain of software testing, has two advantages, one is only analyze the source code without running the program, and the other is can target specific pattern detection. The main contributions of this thesis are as follows. Firstly, it briefly introduces the framework of the inter-procedural static analysis technology. Secondly, it introduces the static detection method on inter-procedural invalid arithmetic operation pattern, the structure of pattern state machine, the procedure of method summary, and the detailed invalid arithmetic operation pattern detection algorithms. The main content and contribution are two static analysis methods, one is based on method rearmounted information, and the other is based on method constraints.Finally through the experiment result, we can see clearly that the invalid arithmetic operation static analysis based on method summary has a good performance, and it also fully explains the inter-procedural technology based on method summary can effectively improve the detection accuracy.