Static type determination and aliasing for C++

Determining the type of an object to which a pointer may point at a statement during execution is the goal of static type determination. We prove NP-hardness of type determination and aliasing for C++. We show the interdependence of the two problems for general-purpose pointers and present a polynomial approximation algorithm to solve the combined problem. We include empirical results to demonstrate the feasibility of our analysis.Technical report lcsr-tr-250-