摘要 |
<p>The present invention provides a technique for analyzing a pointer. The technique is characterized in detecting whether or not an object for which it is desired to detect an access position escapes to at least one method which is a caller of a method which generates the identified object (a first caller method) or at least one method which is called by the method which generates the identified object (a first callee method), and preparing a load node in a point-to graph and updating the point-to graph on condition that a field of at least one object in the point-to graph is reachable from the first caller method or the first callee method and the field is in a state of not pointing to an object in the point-to graph.</p> |