... analyzing the syntax of the source code. Available tools for Object Oriented design typically offer a facility for the recovery of class diagramsfrom the code, which include this kind of syntactic information.eLib ... theprogram. Inspection of the static object diagram allows detecting portions of the code not yet exercised, which are relevant for the construction of theobjects and of the inter -object relationships, ... anattribute of class is taken into consideration when inter -object associationsare generated. The out set of such an OFG node (i.e., out[c.a]) gives theset of objects reachable from all objects of class...