Foster, Jeffrey S.; Fähndrich, Manuel; Aiken, Alexander Polymorphic versus monomorphic flow-insensitive points-to analysis for C. (English) Zbl 0966.68575 Palsberg, Jens (ed.), Static analysis. 7th internationales symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1824, 175-198 (2000). Summary: We carry out an experimental analysis for two of the design dimensions of flow-insensitive points-to analysis for C: polymorphic versus monomorphic and equality-based versus inclusion-based. Holding other analysis parameters fixed, we measure the precision of the four design points on a suite of benchmarks of up to 90,000 abstract syntax tree nodes. Our experiments show that the benefit of polymorphism varies significantly with the underlying monomorphic analysis. For our equality-based analysis, adding polymorphism greatly increases precision, while for our inclusion-based analysis, adding polymorphism hardly makes any difference. We also gain some insight into the nature of polymorphism in points-to analysis of C. In particular, we find considerable polymorphism available in function parameters, but little or no polymorphism in function results, and we show how this observation explains our results.For the entire collection see [Zbl 0941.00028]. Cited in 2 Documents MSC: 68U99 Computing methodologies and applications 68N15 Theory of programming languages Keywords:constraint-based program analysis Software:Lackwit; MOCHA PDFBibTeX XMLCite \textit{J. S. Foster} et al., Lect. Notes Comput. Sci. 1824, 175--198 (2000; Zbl 0966.68575)