POINTER ANALYSIS BY TYPE INFERENCE COMBINED WITH A NON-POINTER ANALYSIS

A pointer analysis by type inference combined with a non-pointer analysis helps approximate run-time store usage for a computer program. The analysis initially describes the content of each location for the program with a separate type as a non-pointer value. The analysis identifies store relationships described by the program and determines whether the location(s) and/or function(s) affected by the identified store relationships are well-typed under typing constraints. For well-typed store relationships, the analysis identifies any potential points-to relationships for types representing non-pointer values in case the analysis subsequently determines in processing other store relationships that the types may represent a pointer value. If the identified store relationships are not well-typed, the analysis modifies types for location(s) and/or function(s) affected by the identified store relationships as necessary so the store relationships are well-typed. The analysis also modifies types for locations and/or functions for potential points-to relationships affected by the modification of types When the locations and/or functions for all identified store relationships are well-typed, the program is well-typed with the set of types defining a store model for the program.