Key points are not available for this paper at this time.
Nous présentons un nouvel algorithme d'effets secondaires de modification interprocédurale pour les programmes C, capable de discerner les effets secondaires à travers l'utilisation de pointeurs à usage général. Notre approche est la première conception complète et mise en œuvre d'un tel algorithme. Les résultats de performance préliminaires soutiennent la praticité de la technique, qui est basée sur notre précédent algorithme d'approximation pour les alias de pointeur LR92. En moyenne, chaque stockage indirect à travers une variable de pointeur correspond à un stockage dans 1,2 emplacements. Cela indique que notre information d'aliasage de pointeur spécifique au point de programme est assez précise lorsqu'elle est utilisée pour déterminer les effets de ces stockages.
Landi et al. (Mar,) ont étudié cette question.