A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
The C programming language is still ubiquitous in embedded software development. For many tools that 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 analysis, which is based on Steensgaard's approach to points-to analysis , but achieves a higher level of precision. 1 The address-taken analysis, e.g., which assumes that eachdoi:10.1007/978-3-540-30113-4_9 fatcat:2sma5mj6yvcv5joya5czrux7pu