Abstract
In this paper, we propose an analysis method for checking method invocation patterns using context-sensitive points-to analysis and report on the result of experimentation using implementations of our method. For a given program written in an object-oriented language, the method statically checks whether the order of method invocations to specific objects at run-time will conform to an invocation pattern rule. In order to precisely figure out the locations where method invocations to specific objects will occur, our method uses context-sensitive points-to analysis. We employed three kind of contexts, objsens, cfa and k-cfa, and developed three corresponding implementations to evaluate them. Our experiments show that objsens figures out the method invocation sites by the highest accuracy and the accuracy of objsens is 5.5 times as high compared with the one of context-insensitive method. We also obtained the result that the accuracy of the pattern checks improved by 3.4 times.
