article · 2000

Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C (Extended Version)

Er Aiken, Manuel Fähndrich, Jeffrey S. Foster, Alexander Aiken

Cited by 0Abstract and details only

Abstract

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.

Cite this paper

APA 7

Aiken, E., Fähndrich, M., Foster, J. S., & Aiken, A. (2000). Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C (Extended Version).

MLA 9

Aiken, Er, et al. “Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C (Extended Version).” 2000.

Chicago

Aiken, Er, Manuel Fähndrich, Jeffrey S. Foster, and Alexander Aiken. 2000. “Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C (Extended Version).”

Harvard

Aiken, E. et al. (2000) ‘Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C (Extended Version)’.

BibTeX

@article{aiken2000polymorphic,
  title = {{Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C (Extended Version)}},
  author = {Aiken, Er and Fähndrich, Manuel and Foster, Jeffrey S. and Aiken, Alexander},
  year = {2000}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.