Fast Points-to Analysis for Languages with Structured Types

Published in: Springer LNCS 3199, Software and Compilers for Embedded Systems, 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, ISBN 3-540-23035-1

Abstract

The C programming language is still ubiquitous in embedded software development. For many tools to operate on programs written in pointer languages like C, it is essential to have a good approximation of the information about where the pointer variables possibly may point to at runtime. We present a points-to analyis, which is based on Steensgaard's approach to points-to analysis, but achieves a higher level of precision.

Authors

Michael Jung and Sorin A. Huss

Download

Article (PDF) (SpringerLink) -- © 2004 Springer Verlag
Slides (PPT)