Pro le-Guided Context-Sensitive Program Analysis

Interprocedural analyses can be classied as either context-insensitive, which tend to sacri-ce precision to gain eciency, or context-sensitive, which are more precise but also more expensive. This paper discusses a prole-guided approach to interprocedural analysis that is context-sensitive, and hence more precise, for the \important " call sites for a function, and context-insensitive, and hence more ecient, for the \unimportant " call sites. Experiments in-dicate that this approach can be signicantly more ecient than a traditional context-sensitive analysis without sacricing much of the pragmatic value of the data ow information gathered.