A pointer analysis by type inference for a computer program ith structured memory objects and potentially inconsistent memory object accesses helps approximate run-time store usage for the program. The analysis represents locations for the program with types describing access patterns for the represented locations based on how the locations are accessed in the program. The analysis describes access patterns for structured memory objects, elements of structured memory objects, and memory objects accessed in inconsistent manners in the program. The analysis identifies store usages described by the program and determines whether the location(s) and/or function(s) affected by the identified store usages are well-typed under typing constraints. If the identified store usages are not well-typed, the analysis modifies types for location(s) and/or function(s) affected by the identified store usages as necessary so the store usages are well-typed. When the locations and/or functions for all identified store usages are well-typed, the program is well-typed with the set of types defining a store model for the program.

Eine Zeigeranalyse nach Art Folgerung für ein strukturiertes Gedächtnis des Computerprogramms ith wendet ein und möglicherweise inkonsequenter Gedächtnisgegenstand macht Hilfen ungefähren Laufzeitspeicherverbrauch für das Programm zugänglich. Die Analyse stellt Positionen für das Programm mit den Arten dar, die Zugang Muster für die dargestellten Positionen beschreiben, die basieren auf, wie die Positionen im Programm erreicht werden. Die Analyse beschreibt Zugang Muster für strukturierte Gedächtnisgegenstände, wendet Elemente des strukturierten Gedächtnisses ein, und Gedächtnis wendet zugänglich gemacht in inkonsequente Weise im Programm ein. Die Analyse kennzeichnet die Speicherverbräuche, die durch das Programm beschrieben werden und stellt, ob das location(s) und/oder das function(s), die durch die gekennzeichneten Speicherverbräuche beeinflußt werden, unter schreibenbegrenzungen gut-geschrieben werden fest. Wenn die gekennzeichneten Speicherverbräuche nicht gut-geschrieben werden, ändert die Analyse Arten für location(s) und/oder das function(s), das durch die gekennzeichneten Speicherverbräuche beeinflußt wird, wie benötigt so die Speicherverbräuche, werden gut-geschrieben. Wenn die Positionen und/oder die Funktionen für alle gekennzeichneten Speicherverbräuche gut-geschrieben werden, wird das Programm mit dem Satz der Arten gut-geschrieben, die ein Speichermodell für das Programm definieren.