HomeAbout ScopesCall for PapersCommitteeImportant DatesWorkshop ProgramRegistrationPublicationHotel InformationTravel InformationContactSCOPES'03LCTES-SCOPES'02SCOPES'01 |
8th International Workshop on
Software and Compilers for Embedded Systems
SCOPES 2004
Workshop Program - Presentation Abstract
| Fast Points-to Analysis for Languages with Structured Types |
|---|
| Michael Jung - Integrated Circuits and Systems Lab., Technische
Universit?Darmstadt Sorin Huss - Integrated Circuits and Systems Lab., Technische Universit?Darmstadt |
| 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. |
Presentation
