Inter-class def-use analysis with partial class representations

  • Authors:

  • Amie L. Souter;Lori L. Pollock;Dixie Hisley

  • Affiliations:

  • Computer and Information Sciences, University of Delaware, Newark, DE;Computer and Information Sciences, University of Delaware, Newark, DE;HPC Division, U.S. Army Research Lab, APG, MD

  • Venue:
  • Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Object-oriented program design promotes the reuse of code not only through inheritance and polymorphism, but also through building server classes which can be used by many different client classes. Research on static analysis of object-oriented software has focused on addressing the new features of classes, inheritance, polymorphism, and dynamic binding. This paper demonstrates how exploiting the nature of object-oriented design principles can enable development of scalable static analyses. We present an algorithm for computing def-use information for a single class's manipulation of objects of other classes, which requires that only partial representations of server classes be constructed. This information is useful for data flow testing and debugging.