A framework for interprocedural optimization in the presence of dynamic class loading