Fast Points-to Analysis for Languages with Structured Types [chapter]

Michael Jung, Sorin Alexander Huss
2004 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 [12], but achieves a higher level of precision. 1 The address-taken analysis, e.g., which assumes that each
more » ... le can possibly point to each variable whose address is taken anywhere in the program.
doi:10.1007/978-3-540-30113-4_9 fatcat:2sma5mj6yvcv5joya5czrux7pu