IPA(interprocedural analysis) is the key for parallelization of the serial pro-grams. This paper discusses a framework for IPA. A HTG(hierarchical-task graph) isused to find the functional parallelism. Based on two new data structures, calledProcTable and Binary-Call-Graph, the IPA algorithm reduces cost both in time and spacecompared with other techniques.