Patent ID: 8856765
Filing Date: 2014-10-07
Classification: G06F

Abstract:
1. A method for analyzing a pointer in an analysis target program or a partial program thereof by processing by a computer, the method comprising the computer executing the steps of: creating a flow-insensitive point-to graph for the program in memory by a compiler, with a compiling target method as a target, the point-to graph being a graph with variables, or variables and at least one of methods and objects as nodes and with objects pointed to by the variables as edges, wherein on condition that the object for which it is desired to detect the access position does not escape to the first caller method or the first callee method, detecting a position to access the object for which it is desired to detect the access position, by following the updated first point-to graph if the first load node is prepared and by following the first point-to graph if the first load node is not prepared.