Abstract:Based on CHG, the authors present a framework for analyzing object-oriented programs——OOAF, and discuss the functions, the algorithms and the design ideas of OOAF in this paper. The algorithms for identifying subobject and determining visible methods and the most-dominant-method are also given to create visible-method-class-hierarchy-graph (VM-CHG). The virtual-function-call-graph (VFCG) of the program is obtained by computing inheritance-set, override-set, and override frontier, which provides a feasible way for understanding virtual function call in object-oriented programs.