Patent ID: 6442751
Filing Date: 2002-08-27
Classification: G06F,Y10S

Abstract:
A method of tracking types of local variables in a computer program having a plurality of subroutines which are executed following respective subroutine invocation, said method comprising the steps of:a) for each subroutine invocation outside of said plurality of subroutines, generate respective base maps indicating types of respective ones of said local variables; b) for any points-of-interest within any of said plurality of subroutines, generate respective delta maps indicating changes to said respective ones of said local variables; c) determining execution paths towards each of said points-of-interest to identify which of said base maps corresponds to respective subroutine invocation; and d) merging a) each of said base maps with b) a respective current delta map each of which is obtained from a respective one of said delta maps based on said execution paths to determine types of said local variables.