Patent ID: 7712093
Filing Date: 2010-05-04
Classification: G06F

Abstract:
1. A method for analysis of object flow during execution of individual instructions of a method, comprising once per the method: invoking a method of an object-oriented application; for each instruction of a plurality of instructions of the method modeling the effect of each instruction on a local variable array and an operand stack, the modeling further comprising: iteratively repeating modeling the effect of each instruction of the plurality of instructions on the local variable array and the operand stack until the states of the local variable array and the operand stack at each instruction of the plurality of instructions converge to a final state, wherein for each set of objects that exist at each operand stack slot of the plurality of operand stack slots of the operand stack and for each set of objects that exists at each local variable slot of the plurality of local variable slots of the local variable array when the states of the local variable array and the operand stack converge, an object of the set of objects is mapped to an instruction of the plurality of instructions where the object was introduced to the method.